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

Лєншин, А. В.

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

dc.contributor.author	Лєншин, А. В.
dc.date.accessioned	2018-04-20T12:52:43Z
dc.date.available	2018-04-20T12:52:43Z
dc.date.issued	2014
dc.description.abstract	Пропонується комплексний метод проектування та верифікації комплексів засобів захисту інформацій від несанкціонованого доступу. Аналізується підхід щодо створення та використання шаблонів для алгоритмів реалізації послуг безпеки у формальній нотації Паронджанова. Наводиться приклад застосування методу для розробки алгоритму реалізації послуги «відновлення після збоїв».	uk_UA
dc.identifier.citation	Лєншин А. В. Метод проектування та верифікації функцій комплексів засобів захисту від несанкціонованого доступу / А. В. Лєншин // Прикладная радиоэлектроника : науч.-техн. журн. – Х. : ХНУРЭ, 2014. – Т. 13, № 3 – С. 328–332.	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/4841
dc.language.iso	uk	uk_UA
dc.publisher	ХНУРЭ	uk_UA
dc.subject	захист від несанкціонованого доступу	uk_UA
dc.subject	НД ТЗІ 2.5-004-99	uk_UA
dc.subject	системний аналіз	uk_UA
dc.subject	драконсхеми	uk_UA
dc.title	Метод проектування та верифікації функцій комплексів засобів захисту від несанкціонованого доступу	uk_UA
dc.type	Article	uk_UA
dspace.entity.type	Publication