Аннотация:
Построены отображения между автоматными моделями информационных систем, описанными в работах Московитца–Костича и Грушо–Шумицкой, сохраняющие свойства безопасности.
Ключевые слова:автоматные модели, скрытые каналы, модель невлияния, вероятностное невлияние.