Verification of security policy filtering rules by Model Checking. - Igor V. Kotenko; Olga Polubelova (IDAACS (2), 2011)

The Ontological Approach for SIEM Data Repository Implementation. - Igor V. Kotenko; Olga Polubelova; Igor Saenko 001 (GreenCom, 2012)

Data Repository for Security Information and Event Management in Service Infrastructures. - Igor V. Kotenko; Olga Polubelova; Igor Saenko 001 (SECRYPT, 2012)

The Ontology of Metrics for Security Evaluation and Decision Support in SIEM Systems. - Igor V. Kotenko; Olga Polubelova; Igor Saenko 001; Elena Doynikova (ARES, 2013)

Logical Inference Framework for Security Management in Geographical Information Systems. - Igor V. Kotenko; Olga Polubelova; Igor Saenko 001 (IF&GIS, 2013)

Design and Implementation of a Hybrid Ontological-Relational Data Repository for SIEM Systems. - Igor V. Kotenko; Olga Polubelova; Andrey Chechulin; Igor Saenko 001 (Future Internet, 2013)