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

Козырев О. Р., Климова Н. А. and Литвинцева М. И.
Additional contact information
Козырев О. Р.: Нижегородский филиал Государственного университета – Высшая школа экономики
Климова Н. А.: Нижегородский филиал Государственного университета – Высшая школа экономики
Литвинцева М. И.: Государственный университет – Высшая школа экономики

Бизнес-информатика, 2010, issue 3, 28-33

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

Date: 2010
References: Add references at CitEc
Citations:

Downloads: (external link)
http://cyberleninka.ru/article/n/analiz-podhodov-k ... -na-osnove-ontologiy

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:scn:025686:3832774

Access Statistics for this article

More articles in Бизнес-информатика from CyberLeninka, Федеральное государственное автономное образовательное учреждение высшего образования «Национальный исследовательский университет «Высшая школа экономики»
Bibliographic data for series maintained by CyberLeninka ().