Публікація: Метод проектування та верифікації функцій комплексів засобів захисту від несанкціонованого доступу
| 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 |
Файли
Оригінальний пакунок
1 - 1 з 1
Завантаження...
- Назва:
- 328-332.pdf
- Розмір:
- 614.5 KB
- Формат:
- Adobe Portable Document Format
Пакунок ліцензії
1 - 1 з 1
Завантаження...
- Назва:
- license.txt
- Розмір:
- 9.42 KB
- Формат:
- Item-specific license agreed upon to submission
- Опис: