Публікація: Метод проектування та верифікації функцій комплексів засобів захисту від несанкціонованого доступу
Завантаження...
Дата
2014
Автори
Назва журналу
ISSN журналу
Назва тома
Видавництво
ХНУРЭ
Анотація
Пропонується комплексний метод проектування та верифікації комплексів засобів захисту
інформацій від несанкціонованого доступу. Аналізується підхід щодо створення та використання
шаблонів для алгоритмів реалізації послуг безпеки у формальній нотації Паронджанова. Наводиться приклад застосування методу для розробки алгоритму реалізації послуги «відновлення після
збоїв».
Опис
Ключові слова
захист від несанкціонованого доступу, НД ТЗІ 2.5-004-99, системний аналіз, драконсхеми
Бібліографічний опис
Лєншин А. В. Метод проектування та верифікації функцій комплексів засобів захисту від несанкціонованого доступу / А. В. Лєншин // Прикладная радиоэлектроника : науч.-техн. журн. – Х. : ХНУРЭ, 2014. – Т. 13, № 3 – С. 328–332.