TY  - JOUR
TI  - Анализ подходов к формальной спецификации правил корпоративной безопасности ИС на основе онтологий
T2  - Бизнес-информатика
IS  - Бизнес-информатика
AB  - В статье рассматривается метод анализа бизнес-процессов на соответствие корпоративным правилам информационной безопасности с использованием реляционной логики и системы MIT Alloy Analyzer. С целью анализа определяется структура взаимосвязанных онтологий на трех уровнях и соответствующая логическая микротеория. Для иллюстрации предложенного метода используется бизнес-процесс реальной компании.
AU  - О. Р. Козырев
AU  - Н. А. Климова
AU  - М. И. Литвинцева
UR  - https://bijournal.hse.ru/2010--3/26647317.html
PY  - 2010
SP  - 28-33
VL  -