@ARTICLE{26583204_26647317_2010, 
	author = {О. Р. Козырев and Н. А. Климова and М. И. Литвинцева}, 
	keywords = {},
	title = {Анализ подходов к формальной спецификации правил корпоративной безопасности ИС на основе онтологий},
	journal = {Бизнес-информатика},
	year = {2010},
	number = {3},
	pages = {28-33},
	url = {https://bijournal.hse.ru/2010--3/26647317.html},
	publisher = {},
	abstract = {В статье рассматривается метод анализа бизнес-процессов на соответствие корпоративным правилам информационной безопасности с использованием реляционной логики и системы MIT Alloy Analyzer. С целью анализа определяется структура взаимосвязанных онтологий на трех уровнях и соответствующая логическая микротеория. Для иллюстрации предложенного метода используется бизнес-процесс реальной компании.},
	annote = {В статье рассматривается метод анализа бизнес-процессов на соответствие корпоративным правилам информационной безопасности с использованием реляционной логики и системы MIT Alloy Analyzer. С целью анализа определяется структура взаимосвязанных онтологий на трех уровнях и соответствующая логическая микротеория. Для иллюстрации предложенного метода используется бизнес-процесс реальной компании.}
}