Подробное описание документа
Статья
Бочков М. В.
Формальная модель состояний системы защиты компьютерной сети при использовании политик информационной безопасности / Бочков М. В., Шкадов А. А. // Информационные технологии. - 2009. - № 1. -
004.056.53 Защита от несанкционированного доступа. Хакинг, кракинг