Вторая статьяhttp://epsi.vntu.edu.ua/download/programm2013.pdfЦитата:
Потий А. В., Леншин А.В. Метод проектирования защиты от несанкционированного доступа компонентов вычислительной системы с применением нотации Паронджанова
(оригинал статьи на украинском языке)
Цитата:
Программа Четвертой Международной научно-практической конференции
«Методы и средства кодирования, защиты и уплотнения информации»
23-25 апреля 2013
г. Винница Винницкий национальный технический университет
Цитата:
Метод проектування захищених від несанкціонованого доступу компонентів обчислювальної системи із застосуванням нотації Паронджанова
О. В. Потій, д.т.н., професор
(Україна, м. Харків)
А. В. Лєншин, к.т.н., доцент, докторант
(Україна, м. Харків)
Цитата:
Програма
Четвертої Міжнародної науково-практичної конференції
«Методи та засоби кодування, захисту й ущільнення інформації»
23-25 квітня 2013 року
м. Вінниця Вінницький національний технічний університет
Обратите внимание: Из Программы конференции видно, что профессор Александр Владимирович Потий на этой конференции участвовал в четырех докладах, в том числе (совместно с Горбенко) на пленарном докладе:
Цитата:
6. Малоресурсная криптография: состояние и перспективы развития
И. Д. Горбенко, д.т.н., профессор
(Украина, г. Харьков)
А. В. Потий, д.т.н., профессор
(Украина, г. Харьков)
Мне особенно интересен доклад:
Цитата:
Визуализация процессов оценки гарантий информационной безопасности
А. В. Потий, д.т.н., профессор
(Украина, г. Харьков)
Д. С. Комин, к.т.н.
(Украина, г. Харьков)
М. В. Мурзин
(Украина, г. Харьков)
Можно предположить (по названию и составу авторов), что в этом докладе тоже может идти речь о нотации Паронджанова.
==================
Добавлено 31.12.2016
http://www.hups.mil.gov.ua/assets/doc/s ... tion08.pdfЦитата:
ВИЗУАЛИЗАЦИЯ ПРОЦЕССОВ ОЦЕНКИ ГАРАНТИЙ
ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТИ
СРЕДСТВАМИ ЯЗЫКА ”ДРАКОН”
А.В. Потий, д.т.н., проф.; Д.С. Комин, к.т.н.; М.В. Мурзин
Харьковский университет Воздушных Сил имени Ивана Кожедуба
Многолетний опыт применения нормативных документов в сфере технологий
проектирования защищенных систем информационных технологий (ИТ-систем) и комплексных систем защиты информации (КСЗИ) сделали особенно актуальными задачи обеспечения и оценки гарантий безопасности (уровня доверия).
В качестве методологической основы оценивания гарантий было предложено использовать функционально-лингвистический подход, позволяющий обеспечить выполнение требований, выдвигаемых к процессу и результатам оценивания гарантий.
В качестве языка моделирования была выбраны нотации IDEF0, IDEF3. Однако дальнейшие исследования показали, что разрабатываемые диаграммы потоков работ для сложных свойств гарантий, не позволяет наглядно и доступно описать шаги действий оценщика в ходе экспертизы.
Обзор доступных языков, нотация которых позволяет накапливать и формализовать знания предметной области, описывать процессы и действия, позволил выявить формальный техноязык «ДРАКОН».
Благодаря использованию специальных когнитивных приемов дракон-схемы дают возможность изобразить решение любого, сколь угодно сложного описания процесса оценки свойств гарантий в предельно ясной, наглядной и доходчивой форме, которая позволяет значительно сократить интеллектуальные усилия эксперта, необходимые для зрительного восприятия, понимания, верификации и безошибочного принятия решения относительно степени соответствия характеристик объекта заданных требованиях гарантий.