Рассмотрены современные подходы к построению доказательства безопасности с использованием формальных нотаций. Представлена концепция обоснований безопасности, гарантии и доверия, описана организация процесса разработки и структура результирующих отчетов по безопасности.

Системи озброєння і військова техніка [Текст] // ISSN1997-9568 - Х. — Х., 2011.

• Праці співробітників ХАІ // Праці співробітників ХАІ/Труды сотрудников ХАИ
• Праці співробітників ХАІ // Харченко В.С./Kharchenko V.S.
• УДК // Якість систем і програмного забезпечення