Модель невлияния и скрытые каналы

В статье рассматриваются математические модели безопасных систем, а именно, традиционная модель невлияния и модель невлияния по вероятности. Доказано, что система может удовлетворять условиям традиционной модели невлияния, но при этом существует скрытый канал с верхнего уровня на нижний. Найдено достаточное условие отсутствия в автоматной модели системы скрытых каналов.
Работа выполнена при поддержке Российского фонда фундаментальных исследований, проект 01–01–00895.