Подробное описание документа
Статья
Система верификации политики безопасности компьютерной сети / Котенко И. В., Тишков А. В., Черватюк О. В., Резник С. А., Сидельникова Е. В. // Вестник компьютерных и информационных технологий. - 2007. - № 11. -