Verification of security policies by "Model Checking". Ontological approach for the vulnerabilities modelling in computer systems and it's analysis by logic inference systems.

1. Igor Kotenko, Olga Polubelova, “Verification of Security Policy Filtering Rules by Model Checking.”, Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications. (Prague, Czech Republic, 15–17 September 2011), Los Alamitos, California, 2011, 706–710
2. Polubelova O.V., Kotenko I.V., “Verifikatsiya pravil filtratsii politiki bezopasnosti metodom “proverki na modeli””, Priborostroenie, 51:12 (2008), 44–49
3. Kotenko I.V., Tishkov A.V., Chervatyuk O.V., Reznik S.A., Sidelnikova E.V., “Sistema verifikatsii politiki bezopasnosti kompyuternoi seti”, Vestnik kompyuternykh i informatsionnykh tekhnologii, 2007, № 11, 48–56
4. Saenko I. B., Polubelova O.V., Kotenko I.V., “Razrabotka informatsionnogo khranilischa sistemy upravleniya informatsiei i sobytiyami bezopasnosti dlya geterogennoi infrastruktury”, Metody i tekhnicheskie sredstva obespecheniya bezopasnosti informatsii, Materialy KhX Obscherossiiskoi nauchno-tekhnicheskoi konferentsii (27 iyunya – 1 iyulya 2011 goda, Sankt-Peterburg), Izdatelstvo Politekhnicheskogo universiteta, 2011, 41–42
5. Polubelova O.V., “Resheniya po razrabotke repozitoriya v SIEM sisteme na osnove ontologicheskogo podkhoda.”, VII Sankt-Peterburgskaya mezhregionalnaya konferentsiya “Informatsionnaya bezopasnost regionov Rossii” (IBRR-2011), Materialy konferentsii (26–28 oktyabrya 2011 g.), SPOISU, 2011, 89

• St. Petersburg Institute for Informatics and Automation of RAS