Analysis of Approaches to Formal Specification of Corporate Security Rules on the Ontology Basis

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.