| rus | eng |

Sidelnikova Ekaterina Viktorovna

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 Ekaterina Viktorovna Sidelnikova, Master of Computer Science, PhD student of Computer Security Group of the St. Petersburg Institute for Informatics and Automation of the Russian Academy of Science (Scientific advisor - prof. Igor Kotenko), graduated from Mathematics and Mechanics Department of St. Petersburg State University in 2006. E-mail: sidelnikova[AT]comsec[DOT]spb[DOT]ru http://comsec.spb.ru/sidelnikova/

Top 

Top 

Current Grants and 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).

Former Projects

• 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). “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

2009

1. Ekaterina Sidelnikova. Verification of filtering rules of computer network security policy on the basis of event calculus and abductive reasoning. The VI St.Petersburg Interregional Conference «Information Security of Russian Regions (ISRR-2009). October 28-30, 2009. Proceedings. St.Petersburg, 2009. P.139-140. (in Russian).

2008

1. Ekaterina Sidelnikova. Verification of Filtering Policies by means of Event Calculus and Abductive Reasoning. V Interregional Conference “Information Security of Russian Regions (ISRR-2007)”. Selected Proceedings. St.Petersburg, 2008. P.133-136. (in Russian).
2. Ekaterina Sidelnikova. Abductive Configurator of Firewall Filtering Rules. XI International Conference “Regional informatics-2008” (“RI-2008”). Proceedings. St. Petersburg, October 21-23, 2008. P.112. (in Russian).
3. Ekaterina Sidelnikova, Artem Tishkov, Igor Kotenko. Filtering Policy Verification based on Event Calculus and Abduction Reasoning. News of High schools. Instrument making, Vol.51, No.11, 2008. P.31-35. ISSN 0021-3454. (in Russian).

2007

1. Artem Tishkov, Ekaterina Sidelnikova, Igor Kotenko. Event Calculus based Checking of Filtering Policies. Mathematical Methods, Models and Architectures for Computer Networks Security. The Forth International Conference, MMM-ACNS 2007. St. Petersburg, Russia, September 13–15, 2007. Proceedings. Communications in Computer and Information Science (CCIS). Springer. Vladimir Gorodetsky, Igor Kotenko, Victor Skormin (Eds.). Vol.1, 2007. P.248-253.
2. 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.
3. 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.
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. 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).
6. 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).
7. 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).

2006

1. 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).
2. 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).
3. 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)

2005

1. 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).
2. A.Tishkov, I.Kotenko, E.Sidelnikova. Security Checker Architecture for Policy-based Security Management. Lecture Notes in Computer Science, Springer-Verlag, V.3685. The Third International Workshop "Mathematical Methods, Models and Architectures for Computer Networks Security" (MMM-ACNS-05). September 24-28, 2005, St. Petersburg, Russia. P. 469-474.

Top