TY  - JOUR
TI  - Analysis of Approaches to Formal Specification of Corporate Security Rules on the Ontology Basis
T2  - 
IS  - 
AB  - There article proposes a new method of business-processes verification based on relational logic and MIT Alloy Analyzer. The method proposed allows for testing conformance with corporate information security rules. For analysis purposes the interrelated structure of ontologies is defined on three layers and correspondent logical microtheory is proposed. The approach is illustrated using real business-process of industrial company.
AU  - O. Kozyrev
AU  - N. Klimova
AU  - M. Litvintseva
UR  - https://bijournal.hse.ru/en/2010--3/26647317.html
PY  - 2010
SP  - 28-33
VL  -