@ARTICLE{26583204_26647317_2010, 
	author = {O. Kozyrev and N. Klimova and M. Litvintseva}, 
	keywords = {},
	title = {Analysis of Approaches to Formal Specification of Corporate Security Rules on the Ontology Basis},
	journal = {},
	year = {2010},
	number = {3},
	pages = {28-33},
	url = {https://bijournal.hse.ru/en/2010--3/26647317.html},
	publisher = {},
	abstract = {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.},
	annote = {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.}
}