METHOD OF AUTOMATIC ASSESSMENT OF SECURITY OF INFORMATION SYSTEMS AND SYSTEM FOR REALISATION THEREOF Russian patent published in 2010 - IPC G06F21/22 

FIELD: physics; computer engineering.

SUBSTANCE: invention relates to protection of information systems, and specifically to assessment of security of information systems through presentation of system states, security requirements and a model for monitoring and controlling access using predicate logic and automatic verification of meeting security requirements on several system states, taking into account rules of the model for monitoring and controlling access. The result is achieved due to predicate presentation of system states, a model for monitoring and controlling access, security requirements, as well as application of resolution (output) rules, automating verification of security requirements on system states.

EFFECT: cutting on number of security management errors, increased guarantee of meeting security requirements, cutting on time and resource expenses on assessing security of information systems.

10 cl, 3 dwg