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

В докладе планируется рассмотреть ряд задач, связанных с построением и анализом математических моделей доверенных систем. Для распределенной системы, в рамках каждой компоненты которой реализована модель take-grant, изучается задача проверки локальной безопасности, то есть отсутствия дополнительных доступов, индуцированных внешними подсистемами, внутри каждой из компонент. Устанавливается функциональная эквивалентность автоматных моделей невлияния при отсутствии и при наличии выходов у автоматов. Исследуются выразительные возможности классических моделей доверенных систем в рамках формализма, предложенного С.А. Афониным.