|
|
|
ISSN 1998-0663 (print), English version: ISSN 2587-814X (print), |
Козырев О. Р., Климова Н. А., Литвинцева М. И.Анализ подходов к формальной спецификации правил корпоративной безопасности ИС на основе онтологий
2010.
№ 3.
С. 28–33
[содержание номера]
В статье рассматривается метод анализа бизнес-процессов на соответствие корпоративным правилам информационной безопасности с использованием реляционной логики и системы
MIT Alloy Analyzer. С целью анализа определяется структура взаимосвязанных онтологий на
трех уровнях и соответствующая логическая микротеория. Для иллюстрации предложенного
метода используется бизнес-процесс реальной компании.
|
|
|
© 
