Метод проектування та верифікації функцій комплексів засобів захисту від несанкціонованого доступу

Abstract

Пропонується комплексний метод проектування та верифікації комплексів засобів захисту інформацій від несанкціонованого доступу. Аналізується підхід щодо створення та використання шаблонів для алгоритмів реалізації послуг безпеки у формальній нотації Паронджанова. Наводиться приклад застосування методу для розробки алгоритму реалізації послуги «відновлення після збоїв».