Аннотация доклада.

В работе А.А. Грушо и Е.Л. Шумицкой «Модель невлияния и скрытые каналы» (Дискретная математика. 2002. Т. 14, N 1. С. 11-16) было введено обобщение автоматной модели невлияния и показано, что даже при наличии невлияния в модели могут существовать скрытые каналы передачи информации, нарушающие политику безопасности; авторами также было доказано достаточное условие, гарантирующее отсутствие скрытых каналов. В докладе исследуется связь между исходной и обобщенной моделью невлияния, показывается, что достаточное условие не является необходимым, и предлагается критерий существования скрытых каналов.