Анализ подходов к формальной спецификации правил корпоративной безопасности ИС на основе онтологий

Аннотация

В статье рассматривается метод анализа бизнес-процессов на соответствие корпоративным правилам информационной безопасности с использованием реляционной логики и системы MIT Alloy Analyzer. С целью анализа определяется структура взаимосвязанных онтологий на трех уровнях и соответствующая логическая микротеория. Для иллюстрации предложенного метода используется бизнес-процесс реальной компании.