Лєншин, А. В.2018-04-202018-04-202014Лєншин А. В. Метод проектування та верифікації функцій комплексів засобів захисту від несанкціонованого доступу / А. В. Лєншин // Прикладная радиоэлектроника : науч.-техн. журн. – Х. : ХНУРЭ, 2014. – Т. 13, № 3 – С. 328–332.http://openarchive.nure.ua/handle/document/4841Пропонується комплексний метод проектування та верифікації комплексів засобів захисту інформацій від несанкціонованого доступу. Аналізується підхід щодо створення та використання шаблонів для алгоритмів реалізації послуг безпеки у формальній нотації Паронджанова. Наводиться приклад застосування методу для розробки алгоритму реалізації послуги «відновлення після збоїв».ukзахист від несанкціонованого доступуНД ТЗІ 2.5-004-99системний аналіздраконсхемиArticle