| rus | eng |

Polubelova Olga Vitalievna

Citizenship: Russia Address academic (office): St.Petersburg Institute for Informatics and Automation of the Russian Academy of Sciences 39, 14th Liniya, St.-Petersburg, 199178, Russia Tel.: +7-(812)-328-2642 Fax: +7-(812)-328-4450 Position:Ph.D. student Olga Vitalievna Polubelova, PhD student of Laboratory of Computer Security Problems of the St. Petersburg Institute for Informatics and Automation of the Russian Academy of Science (Scientific advisor – prof. Igor Kotenko), graduated from St.Petersburg State University of Aerospace Instrumentation with honors (speciality “Software for computing complexes and computer-aided systems” (in 2006) and speciality “Applied computer science in the economy” (in 2005)). E-mail: ovp[AT]comsec[DOT]spb[DOT]ru http://comsec.spb.ru/polubelova/

Top 

2011

• Polubelova Olga Vitalievna - The paper "Verification of Security Policy Filtering Rules by Model Checking" of Igor Kotenko and Olga Polubelova got the best paper prize of the conference IDAACS 2011.

  

Top 

Current Grants and Projects

• Igor Kotenko (Principal Investigator). State Contract No. 11.519.11.4008 “Research and development of methods, models and algorithms of intellectualizing the secirity services in critical infrastructures”. Project of Russian Ministry of Education and Science, 2011-2013 (Researcher).
• Igor Saenko (Principal Investigator). “Mathematical models and methods of analysis and synthesis of access systems to information and network resources in modern and advanced computer systems and networks through the establishment and application of artificial intelligence. Research grant # 11-07-00435-а of Russian Foundation of Basic Research, 2011-2013 (Researcher).
  Report-2011-11-07-00435-a-short.pdf [application/pdf] (287595 bytes)
• Igor Kotenko (Principal Investigator from SPIIRAS). “Design of Secure and energy-efficient embedded systems for Future internet applications (SecFutur)”. Research Project of the European Community seventh framework program (FP7). Contract No. 256668, 2010-2013 (Researcher).
• Igor Kotenko (Principal Investigator from SPIIRAS). “MAnagement of Security information and events in Service InFrastructures (MASSIF)”. Research Project of the European Community seventh framework program (FP7). Contract No. 257475, 2010-2013 (Researcher).
• Igor Kotenko (Principal Investigator). “Mathematical models and methods of integrated protection against network attacks and malware in computer networks and systems based on hybrid multi-agent modeling and simulation of computer counteraction, verified adaptive security policies and proactive monitoring by data mining”. Research grant # 10-01-00826-a of Russian Foundation of Basic Research, 2010-2012 (Researcher).
  Report-2010-10-01-00826-a-short.pdf [application/pdf] (191714 bytes)
  Report-2011-10-01-00826-a-short.pdf [application/pdf] (260794 bytes)

Former Projects

• Igor Kotenko (Principal Investigator). “Mathematical Models, Methods and Algorithms of Proactive Protection against Malware in Computer Networks and Systems”. Program "Architecture, system solutions, software, standardization and information security of computer complexes of new generations" of the Russian Academy of Sciences Branch "Nanotechnologies and Information Technologies", 2009-2011 (Researcher).
• Igor Kotenko (Principal Investigator). Project on demand of Section of Applied Problems of Russian Academy of Sciences. Governmental contract, 2008-2009 (Researcher).
• Igor Kotenko (Principal Investigator“Models and methods of construction and functioning support of intelligent adaptive security systems based on modeling and simulation of security systems behavior, realization of verified security policies, security evaluation and proactive monitoring”. Research grant # 07-01-00547 of Russian Foundation of Basic Research, 2007-2009 (Researcher).
  Report-07-01-00547a-2007short.pdf [application/pdf] (193198 bytes)
  Report-07-01-00547a-2008short.pdf [application/pdf] (205945 bytes)
  Report-07-01-00547a-2009short.pdf [application/pdf] (943498 bytes)
• Igor Kotenko (Principal Investigator from SPIIRAS). “Remote EnTrusting by RUn-time Software authentication (RE-TRUST)”. Research Project of the European Community sixth framework program, 2006-2009 (Researcher).
• Igor Kotenko (Principal Investigator). “Automatic Detection and Response Techniques against Internet Worms”. The subcontract with International Research Institute for Advanced Systems (IRIAS) according to contract with Hewlett-Packard, 2006-2007 (Researcher).
• Igor Kotenko (Principal Investigator). “Development of scientific-methodical bases of information protection in the communication channels of International collective ecological safety system”. The state contract with the Center of security problems research of the Russian Academy of Sciences, 2006-2006 (Researcher).
• Igor Kotenko (Principal Investigator). “Modeling of information security processes in computer networks in adversarial environment: formal framework, mathematical models, multi-agent architecture, software prototype and experimental evaluation”. Research grant 04-01-00167 of Russian Foundation of Basic Research, 2004-2006 (Researcher).
  Report-04-01-00167a-2006.pdf [application/pdf] (446259 bytes)
  Report-04-01-00167a.pdf [application/pdf] (510438 bytes)
• Igor Kotenko (Principal Investigator). “Mathematical Models of Active Analysis of Vulnerabilities, Intrusion Detection and Network Attacks Counteraction in Computer Networks based on Multi-agent Technologies”. Program "Optimization of computer architectures to particular classes of tasks, information assurance of network technologies" of the Russian Academy of Sciences Branch "Nanotechnologies and Information Technologies"., 2003-2008 (Researcher).
• Igor Kotenko (Principal Investigator from SPIIRAS). “Policy-based Security Tools and Framework (POSITIF)”. Research Project of the European Community sixth framework program. Contract # IST-2002-002314, 2003-2007 (Researcher).

Top 

Papers

2011

1. Igor Kotenko, Olga Polubelova. Verification of Security Policy Filtering Rules by Model Checking. Proceedings of IEEE Fourth International Workshop on "Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications" (IDAACS'2011). Prague, Czech Republic, 15-17 September 2011. P. 706-710. ISBN 978-1-4244-4882-1.
2. Igor Saenko, Olga Polubelova, Igor Kotenko Design of SIEM repository for a heterogeneous infrastructure. Tools for security analysis of automated systems. ХX All-Russian Conference “Methods and technical tools of information security” (MTTIS 2011)”. Proceedings. St.Petersburg, Russia. June 27 - July 01, 2011. P.41-42. (in Russian).
3. Olga Polubelova. Verification of filtering rules of security policy by "Model Checking". Tools for security analysis of automated systems. ХX All-Russian Conference “Methods and technical tools of information security” (MTTIS 2011)”. Proceedings. St.Petersburg, Russia. June 27 - July 01, 2011. P.87-88. (in Russian).
4. Sergey Ageev, Olga Polubelova. Methods of safety management in protected multiservice networks. Tools for security analysis of automated systems. ХX All-Russian Conference “Methods and technical tools of information security” (MTTIS 2011)”. Proceedings. St.Petersburg, Russia. June 27 - July 01, 2011. P.122-124. (in Russian).
5. Olga Polubelova. Applying of linear temporal logic to verification of security policy filtering rules by model checking. The VII St.Petersburg Interregional Conference “Information Security of Russian Regions (ISRR-2011)”. October 26-28, 2011. Proceedings. St.Petersburg, 2011. P.88-89. (in Russian).
6. Полубелова О.В. Решения по разработке репозитория в SIEM системе на основе онтологического подхода // VII Санкт-Петербургская межрегиональная конференция “Информационная безопасность регионов России (ИБРР-2011)”. 26-28 октября 2011 г. Материалы конференции. СПб.: СПОИСУ, 2011. С.89. (in Russian).
7. Igor Saenko, Olga Polubelova, Sergey Ageev. Proposals for conceptual modeling of information security management subsystem in protected multiservice networks. The VII St.Petersburg Interregional Conference “Information Security of Russian Regions (ISRR-2011)”. October 26-28, 2011. Proceedings. St.Petersburg, 2011. P.93-94. (in Russian).
8. Igor Saenko, Sergey Ageev, Yury Sherstuk, Olga Polubelova. A conceptual framework for automating the management of protected multiservice networks. The problem of information security. Computer systems. No. 3, 2011. (in Russian).

2008

1. Olga Polubelova, Igor Kotenko. Verification of Filtering Rules of Security Policy by Model Checking. News of High schools. Instrument making, Vol.51, No.12, 2008. P.44-49. ISSN 0021-3454. (in Russian).
2. Olga Polubelova. Verification of Security Policy Filtering Rules containing Temporal Parameters by Model Checking. XI International Conference “Regional informatics-2008” (“RI-2008”). Proceedings. St. Petersburg, October 21-23, 2008. P.110-111. (in Russian).

2007

1. Igor Kotenko, Artem Tishkov, Olga Chervatuk, Sergey Reznik, Ekaterina Sidelnikova. System of Verification of Computer Network Security Policy. Herald of computer and information technologies, No. 11, 2007. P.48-56. (in Russian).
2. Igor Kotenko, Artem Tishkov, Ekaterina Sidelnikova, Olga Chervatuk. Checking of Security Policy Rules for Corporate Computer Networks. Information Security. Inside, No. 5, 2007. P.46-49; No. 6, 2007. P.36-43. (in Russian).
3. Artem Tishkov, Igor Kotenko, Ekaterina Sidelnikova, Olga Chervatuk. Detection and Resolution of Conflicts in Security Policies. Problems of Security and Counter Terrorism. Materials of the Second International Scientific Conference on Security Issues and Counter Terrorism. Moscow State University. 2007. P.172-185. (in Russian).
4. Artem Tishkov, Igor Kotenko, Ekaterina Sidelnikova, Olga Chervatuk. Detection and Resolution of Inconsistencies in Security Policy. Proceedings of the International Security and Counteracting Terrorism Conference. Moscow. Lomonosov Moscow State University Intellectual Center. 2007. 5 p.
5. Igor Kotenko, Artem Tishkov, Olga Chervatuk, Ekaterina Sidelnikova. Security Policy Verification Tool for Geographical Information Systems. Third International Workshop “Information Fusion and Geographical Information Systems” (IF&GIS’07). St.Petersburg, Russia, May 27-29, 2007. Lecture Notes in Geoinformation and Cartography. Springer. Popovich, Vasily V.; Schrenk, Manfred; Korolenko, Kyrill V. (Eds.). 2007. P.128-146.
6. Igor Kotenko, Olga Chervatuk, Ekaterina Sidelnikova, Artem Tishkov. Hybrid Multi-module Security Policy Verification. 2007 IEEE Workshop on Policies for Distributed Systems and Networks (Policy 2007). 13-15 June 2007. Bologna, Italy. 2007. P.277.
7. Sergey Reznik, Olga Chervatuk. Detection of Filtering and Channel Protection Conflicts in Security Policy on the Basis of Model Checking. Proceedings of ХV All-Russian Conference “Methods and Technical Tools of Information Assurance”. June 27-29, 2007. St. Petersburg, SPbSPU. 2007. P.37. (in Russian).
8. Olga Chervatuk. Verification of Filtering Rules of Security Policy by Model Checking. V St.Petersburg Interregional Conference “Information Security of Russian Regions (ISRR-2007)”. St.Petersburg, Russia. October 23-25, 2007. Conference Proceedings. St.Petersburg, 2007. P.69-70. (in Russian).

2006

1. Artem Tishkov, Olga Chervatuk, Dmitry Lakomov, Sergey Reznik, Ekaterina Sidelnikova. Detection and resolution of inconsistencies in the specifications of complex systems. NCAI-2006. X National Conference on Artificial Intelligence with International Participation. Proceedings. Vol. 1. Moscow, Fizmatlit, 2006. P.87-90. ISBN: 5-9221-0757-7. (in Russian).
   NCAI-06-A-Tishkov.pdf [application/pdf] (8427 bytes)
   NCAI-06-Tishkov.pdf [application/pdf] (338635 bytes)
2. Kotenko I.V., Tishkov A.V., Chervatuk O.V. Architecture and Models for Security Policy Verification. Proceedings of the International Security and Counteracting Terrorism Conference. Moscow. Lomonosov Moscow State University Intellectual Center. 2006. P.253-262. (in Russian).
   ISCTC-06-paper2.pdf [application/pdf] (221722 bytes)
3. Artem Tishkov, Igor Kotenko, Olga Chervatuk, Dmitry Lakomov, Sergey Reznik, Ekaterina Sidelnikova. Conflict Detection and Resolution in Security Policies of Computer Networks. Proceedings of SPIIRAS, Issue 3, Vol.2. St. Petersburg, Nauka, 2006. P.102-114. (in Russian).
4. Igor Kotenko, Artem Tishkov, Olga Chervatuk, Dmitry Lakomov. Search of conflicts in security policies. News of High schools. Instrument making, Vol.49, No. 11, 2006. (in Russian).
5. Artem Tishkov, Igor Kotenko, Ekaterina Sidelnikova, Olga Chervatuk. Detecting and fixing contradictions in security policies. The Firth All-Russian scientific Conference "Mathematics and Security of Information Technologies" (MSIT-06). Moscow, Lomonosov Moscow State University, 2006. (in Russian).

2005

1. O.V.Chervatuk, A.V.Tishkov, I.V.Kotenko Verification by model checking in the task of dynamic detection of conflicts in security policy. The second All-Russian scientific-practical conference on imitation modelling and its application in science and industry "Imitation modelling. Theory and practice". IMMOD-2005. Proceedings. Vol.1. St.Petersburg, October 19-21, 2005. P.283-287. (in Russian).
2. I.V.Kotenko, A.V.Tishkov, O.V.Chervatuk. Architecture and models for security policy verification. Forth All-Russian conference "Mathematics and security of information technologies" (MaBIT-05). Moscow, Moscow State University, November 2-3, 2005. (in Russian).
3. I.V.Kotenko, A.V.Tishkov, D.P.Lakomov, O.V.Chervatuk, E.V.Sidelnikova. Checking correctness of security policies. IV Inter-regional Conference "Information Security of Russia Regions". Selected papers proceedings. St.Petersburg, 2005. (in Russian).

Top