Посилання:Використання доказового методу для проектування та оцінки рівня захищеності інформаційно-телекомунікаційної системи / А.О. Антонюк, В.В. Жора // Пробл. програмув. — 2007. — N 3. — С. 88-96. — Бібліогр.: 14 назв. — укp.
Розглянуто питання моделювання захищеної інформаційно-телекомунікаційної системи (ІТС). Наведено приклади використання доказового методу для проектування та оцінки рівня захищеності ІТС залежно від політики безпеки, що застосовується.