Аннотация:
В статье вводится понятие замыкания ДП-моделей. Описываются и обосновываются алгоритмы их построения. Рассматривается применение таких моделей для анализа защищенности компьютерных сетей. Предлагаются методы анализа путей распространения прав доступа и информационных потоков. В рамках теории ДП-моделей формализуются модели топологического анализа защищенности REM и VTG.
Ключевые слова:ДП-модель, ФАС ДП-модель, модель Take-Grant, замыкание, топологический анализ защищенности, графы атак, моделирование атак.
Полный текст:
PDF файл (538 kB)