title: VERIFICATION OF ACCESS CONTROL SYSTEMS BASED ON MODELING WITH COLORED PETRI NETS
abstract: Introduction: the complexity of the information systems (IS) being developed increases the requirements for the error-free design of the access control system and increases the likelihood of the presence and impact of vulnerabilities on the state of information security. Formal verification of the IS project at the development stage allows minimizing the appearance of architectural vulnerabilities. Changes carried out by regulators in the field of certification of information security means actu
journal: H&ES Research