RUS  ENG
Полная версия
ЖУРНАЛЫ // Интеллектуальные системы. Теория и приложения // Архив

Интеллектуальные системы. Теория и приложения, 2016, том 20, выпуск 4, страницы 30–36 (Mi ista60)

Эта публикация цитируется в 1 статье

Взаимосвязь автоматных моделей безопасных информационных систем без скрытых каналов передачи данных

В. Г. Гукасян

Московский государственный университет имени М. В. Ломоносова, механико-математический факультет

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

Ключевые слова: автоматные модели, скрытые каналы, модель невлияния, вероятностное невлияние.



© МИАН, 2024