Формальная нотация Паронджанова
http://anpre.org.ua/Цитата:
Лєншин А.В. Метод проектування та верифікації функцій комплексів засобів захисту від несанкціонованого доступу
Пропонується комплексний метод проектування та верифікації комплексів засобів захисту інформацій від несанкціонованого доступу. Аналізується підхід щодо створення та використання шаблонів для алгоритмів реалізації послуг безпеки у формальній нотації Паронджанова. Наводиться приклад застосування методу для розробки алгоритму реалізації послуги «відновлення після збоїв».
Ключові слова: захист від несанкціонованого доступу, НД ТЗІ 2.500499, системний аналіз, драконсхеми, нотація Паронджанова.
Метод проектирования и верификации функций комплексов средств защиты от несанкционированного доступа. Предлагается комплексный метод к проектированию и верификации комплексов средств защиты информации от НСД. Анализируется подход к созданию и использованию шаблонов для алгоритмов реализации услуг безопасности в формальной нотации Паронджанова. Приводится пример применения метода для разработки алгоритма реализации услуги «восстановление после сбоев».
Ключевые слова: защита от несанкционированного доступа, НД ТЗИ 2.500499, системный анализ, драконсхемы, нотация Паронджанова.
The method of designing and verifying functions of trusted computing base for protection from unauthorized access. A comprehensive approach to the design and verification of trusted computing base for protection from unauthorized access is offered.
An approach to create and use templates for algorithms of implementing security services in a formal Parondzhanov notation is analyzed. An example of using the method for developing the algorithm of realizing the “failure recovery” service created with the proposed templates is given.
Keywords: protection from unauthorized access, technical information protection requlatory document 2.500499, system analysis, dragon schemes, Parondzhanov notation.
================
http://www.irbis-nbuv.gov.ua/Prre_2013_12_2_3.pdfЦитата:
Прикладная радиоэлектроника, 2013, Том 12, № 2
В статье А.В. Леншина предлагается комплексный метод проектирования и верификации комплексов средств защиты информации от несанкционированного доступа. Анализируется подход к созданию и использованию шаблонов для алгоритмов реализации услуг безопасности в формальной нотации Паронджанова.
Ректор ХНУРЭ (Харьковский национальный университет радиоэлектроники),
член-корреспондент НАНУ,
профессор
М.Ф. Бондаренко
Заведующий кафедрой
БИТ ХНУРЭ, профессор
И.Д. Горбенко