Архив выступлений: 2008-2009 учебный год, весенний семестр
«О восстановлении разбиения множества состояний безопасности».
Аннотация доклада.
В работе рассматривается автоматная система, часть состояний которой объявляется безопасной. Исследуется сложность восстановления разбиения множества состояний для безопасных и e-безопасных языков, введенных в работе «Автоматные модели защищенных компьютерных систем», которая опубликована в сборнике МаБИТ-07.