| News | Staff | Projects | Awards | Results | Conferences | Collaboration | Publications | Events | Matherials | Links | Contacts |
| rus | eng |
  


| Personal | Interests | Projects | Publications | 

Desnitsky Vasily Alexeevich

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

Vasily Alekseevich Desnitsky, Master of Computer Science, 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 Mathematics and Mechanics Department of St. Petersburg State University in 2006.

E-mail: desnitsky[AT]comsec[DOT]spb[DOT]ru
http://comsec.spb.ru/desnitsky/

Top 

Research interests

 Anti-tamper Techniques, Security Policies, Object-Oriented Patterns, Java2 EE platform

Top 

Awards

2011

  • Desnitsky Vasily Alexeevich - The St. Petersburg Grants for young researchers winner.

Top 

Projects

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 

Main publications

Papers

2011

  1. Vasiliy Desnitsky, Igor Kotenko, Andrey Chechulin. An abstract model for embedded systems and intruders. Proceedings of the Work in Progress Session held in connection with the 19th Euromicro International Conference on Parallel, Distributed and network-based Processing (PDP 2011). Ayia Napa, Cyprus, February 2011. SEA-Publications. SEA-SR-29. 2011. P.25-26. ISBN 978-3-902457-29-5.
  2. Vasily Desnitsky, Andrey Chechulin. Model of the process for secure embedded systems development. High availability systems, ¹ 2, 2011. P.97-101. (in Russian).
  3. Igor Kotenko, Vasily Desnitsky, Andrey Chechulin. Investigation of technologies for secure embedded systems design in European Union project SecFutur. Information Security. Inside, No.3, 2011. P.68-75. (in Russian).
  4. Vasily Desnitsky. Configuring embedded and mobile devices based on optimality problem solving. Proceedings of SPIIRAS. Issue 4 (19). St.Petersburg, Nauka, 2011. (in Russian).
  5. Vasily Desnitsky, Igor Kotenko, Andrey Chechulin. Constructing and testing secure embedded systems. XII Saint-Petersburg International Conference “Regional informatics-2010” (“RI-2010”). Selected Proceedings. St. Petersburg, 2011. P. 115-121. (in Russian).
  6. Vasily Desnitsky, Igor Kotenko, Andrey Chechulin. Abstract model for embedded secure systems. The Nineth All-Russian Scientific Conference "Mathematics and Security of Information Technologies" (MSIT-10). Moscow, 2011. (in Russian).
  7. Andrey Chechulin, Vasily Desnitsky. Intruder model for provision of embedded systems security. The Nineth All-Russian Scientific Conference "Mathematics and Security of Information Technologies" (MSIT-10). Moscow, 2011. (in Russian).
  8. Vasily Desnitsky, Andrey Chechulin. Unification of a process of secure embedded systems construction. 13th Conference “RusCrypto” on Cryptology, Steganography, Digital Signature and Security Systems. Solnechnogorsk, Russia. March 30 - April 2, 2011. http://www.ruscrypto.ru/ (in Russian).
  9. Vasily Desnitsky. The model of a unified process for development of secure embedded systems. 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.15-16. (in Russian).
  10. Vasily Desnitsky, Igor Kotenko, Andrey Chechulin. Configuration model for combined protection of information systems with embedded devices. The VII St.Petersburg Interregional Conference «Information Security of Russian Regions (ISRR-2011). October 26-28, 2011. Proceedings. St.Petersburg, 2011. P.69-70. (in Russian).
  11. Vasily Desnitsky. Configuring effectiveness evaluation for combined protection mechanisms on the basis of optimality problem solving. The VII St.Petersburg Interregional Conference “Information Security of Russian Regions (ISRR-2011)”. October 26-28, 2011. Proceedings. St.Petersburg, 2011. P.69. (in Russian).

2010

  1. V.Desnitsky, I.Kotenko. Combined software protection against unauthorized modifications. News of High schools. Instrument making, Vol.53, No 11, 2010, P.36-41. ISSN 0021-3454. (in Russian).
  2. V.Desnitsky, I.Kotenko. Protectability and scalability of software protection mechanism based on remote entrusting principles. Risks and security management. Proceedings of Institute of System Analysis of Russian Academy of Science. Moscow, 2010. (in Russian).
  3. V.Desnitsky, I.Kotenko. Security and Scalability of Remote Entrusting Protection. Lecture Notes in Computer Science, Springer-Verlag, Vol. 6258. The Fifth International Conference "Mathematical Methods, Models and Architectures for Computer Networks Security" (MMM-ACNS-2010). September 8-10, 2010, St. Petersburg, Russia. P.298-306. ISSN 0302-9743.
  4. V.Desnitsky, I.Kotenko. Development and analysis of remote entrusting protocol. The VI St.Petersburg Interregional Conference “Information Security of Russian Regions” (ISRR-2009). October 28-30, 2009. Proceedings. St.Petersburg, 2010. P.121-129. ISBN 978-5-904031-95-4. (in Russian).
  5. V.Desnitsky, I.Kotenko. Software protection based on the principle of remote entrusting. The 5th International Scientific Conference on Security Issues and Counter Terrorism. Lomonosov Moscow State University. October 29-30, 2009. Vol.2. The Eighth All-Russian Scientific Conference "Mathematics and Security of Information Technologies" (MSIT-09). Moscow, 2010. P. 159-163. ISBN 978-5-94057-693-8. (in Russian).
  6. V.Desnitsky, I.Kotenko. Combined mechanisms to protect software from unauthorized modifications. Proceedings of ÕIX All-Russian Conference “Methods and technical tools of information security” (MTTIS 2010)”. Proceedings. St.Petersburg, Russia. July 5 - 10, 2010. P. 100-101 2010. (in Russian).
  7. V.Desnitsky. Technique of finding the optimum combination of protection methods to protect software from interventions. ÕIX All-Russian Conference “Methods and technical tools of information security” (MTTIS 2010)”. Proceedings. St.Petersburg, Russia. July 5-10, 2010. P. 9-10. (in Russian).
  8. V.Desnitsky, A.Chechulin, I.Kotenko. Configuration model of embedded devices. XII International Conference “Regional informatics-2010” (“RI-2010”). Proceedings. St. Petersburg, October 20-22, 2010. P.41-42. ISBN 978-5-904031-99-2. (in Russian).
  9. V.Desnitsky, A.Chechulin. Abstract model of embedded devices. XII International Conference “Regional informatics-2010” (“RI-2010”). Proceedings. St. Petersburg, October 20-22, 2010. P.40-41. ISBN 978-5-904031-99-2. (in Russian).
  10. A.Chechulin, V.Desnitsky, M.Stepashkin. Intruder model in the task of security assurance of embedded system. XII International Conference “Regional informatics-2010” (“RI-2010”). Proceedings. St. Petersburg, October 20-22, 2010. P.150. ISBN 978-5-904031-99-2. (in Russian).
  11. I.Kotenko, V.Desnitsky. An Aspect-oriented Approach to Realization of Mobile Module in the Security Model based on Remote Entrusting Mechanism. Information Technologies and Computing Systems, No.4, 2009, P.67-76. (in Russian).

2009

  1. Vasiliy Desnitsky, Igor Kotenko. Analysis and Design of Entrusting Protocol for Distributed Software Protection. Proceedings of the Work in Progress Session heldin connection with the 17th Euromicro International Conference on Parallel, Distributed and network-based Processing (PDP 2009). Weimar, Germany. February 2009. SEA-Publications: SEA-SR-21. 2009. P.8-9.
  2. Vasiliy Desnitsky, Igor Kotenko. Design and Analysis of Remote Entrusting Protocol. The 4th International Scientific Conference on Security Issues and Counter Terrorism. The Seventh All-Russian Scientific Conference "Mathematics and Security of Information Technologies" (MSIT-08). 2009. (in Russian).
  3. Vasily Desnitsky, Igor Kotenko. Design of Entrusting Protocols for Software Protection. Fourth International Workshop “Information Fusion and Geographical Information Systems” (IF&GIS’09). St.Petersburg, Russia, May 17-20, 2009. Lecture Notes in Geoinformation and Cartography. Springer. 2009.
  4. Vasiliy Desnitsky, Igor Kotenko. Approach to Software Protection based on Remote Entrusting Mechanism. 11th Conference “RusCrypto” on Cryptology, Steganography, Digital Signature and Security Systems. Zvenigorod, Russia. April 2-5, 2009. http://www.ruscrypto.ru/. (in Russian).
  5. Vasily Desnitsky. Configutation of software protection mechanism by means of security policies. The VI St.Petersburg Interregional Conference «Information Security of Russian Regions (ISRR-2009). October 28-30, 2009. Proceedings. St.Petersburg, 2009. P.97-98. (in Russian).
  6. Vasily Desnitsky. Scalability and security of protection mechanism on the basis of the remote entrusting principle. The VI St.Petersburg Interregional Conference «Information Security of Russian Regions (ISRR-2009). October 28-30, 2009. Proceedings. St.Petersburg, 2009. P.98. (in Russian).
  7. Vasily Desnitsky, Igor Kotenko. Performance and Scalability of Remote Entrusting Protection. Second International Workshop on Remote Entrusting (RE-TRUST 2009). September 30 - October 1, 2009. Riva del Garda, Italy, 2009.

2008

  1. Vasiliy Desnitsky, Igor Kotenko. Model of Software Protection based on “Remote Retrusting” Mechanism. V Interregional Conference “Information Security of Russian Regions (ISRR-2007)”. Selected Proceedings. St.Petersburg, 2008. P.172-177. (in Russian).
  2. Igor Kotenko, Vasiliy Desnitsky. Aspect-oriented Approach to Realization of Mobile Module in “Remote Retrusting” Protection Model. Information Technologies and Computing Systems, No.2, 2008. (in Russian).
  3. Vasiliy Desnitsky, Igor Kotenko. Software Protection based on “Remote Retrusting” Mechanism. News of High schools. Instrument making, Vol.51, No.11, 2008. P.26-30. ISSN 0021-3454. (in Russian).
  4. Vasiliy Desnitsky, Igor Kotenko, Sergey Reznik. Design and Verification of message exchange protocol for software protection based on “Remote Entrusting” mechanism. Information Security. Inside, No.4, 2008. P.59-63; No.5, 2008. P.68-74. (in Russian).
  5. Vasiliy Desnitsky, Igor Kotenko, Sergey Reznik. Design and Analysis of message exchange protocol for software protection based on “Remote Entrusting”. ÕVII All-Russian Conference “Methods and technical tools of information security” (MTTIS 2008)”. Proceedings. St.Petersburg, Russia. June 27-29, 2008. (in Russian).
  6. Vasiliy Desnitsky, Igor Kotenko, Sergey Reznik. Design and Analysis of message exchange protocol for “Remote Entrusting” mechanism. International Conferences “Intelligent systems (AIS 2008)” and “Intelligent CAD (CAD-2008)”. Proceedings. Divnomorskoe, Russia. September 3-10, 2008. Moscow, Fizmatlit, 2008. (in Russian).
  7. Vasiliy Desnitsky. Design and Analysis of Protocol for Protecting the Programs against Malicious Modifications. XI International Conference “Regional informatics-2008” (“RI-2008”). Proceedings. St. Petersburg, October 21-23, 2008. P.98-99. (in Russian).

2007

  1. Vasiliy Desnitsky, Igor Kotenko. Models of Remote Authentication for Software Protection. Proceedings of International Conferences “Intelligent systems (AIS'07)” and “Intelligent CAD (CAD-2007)”. Moscow, Fizmatlit, 2007. P.43-50. (in Russian).
  2. Vasiliy Desnitsky, Igor Kotenko. Remote Authentication for Protection of Programs against Non-authorized Modification. Scientific-practical Symposium “National Information Systems and State Security”. Proceedings. Moscow, Russia. September 2007. P.81-84. (in Russian).
  3. Vasiliy Desnitsky, Igor Kotenko. Model of Protecting the Programs against Non-authorized Changes on the Basis of Remote Trust Mechanism. 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.81. (in Russian).
  4. Vasiliy Desnitsky. Remote Authentication as the Mechanism of Software Protection on Remote Clients. Proceedings of ÕV All-Russian Conference “Methods and Technical Tools of Information Assurance”. June 27-29, 2007. St. Petersburg, SPbSPU. 2007. P.5. (in Russian).
  5. Vasiliy Desnitsky. Aspect-oriented Approach to Mobile Module Realization in Software Protection System. Scientific-practical Symposium “National Information Systems and State Security”. Proceedings. Moscow, Russia. September 2007. P.87-89. (in Russian).
  6. Vasiliy Desnitsky. Realization of Mobile Module Replacement Mechanism on the Basis of Aspect-oriented Programming Paradigm. 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.49-50. (in Russian).

2006

  1. Vasiliy Desnitsky, Igor Kotenko. Protection of the software against breaking: the analysis of methods. Õ St.Petersburg International Conference "Regional Informatics-2006" (RI-2006). Proceedings. St. Petersburg, October 24-26, 2006. P. 108-109. (in Russian).

Top 

RUSSIA, 199178, Saint-Petersburg, 14-th line, 39, SPIIRAS (metro station Vasileostrovskaya).
+7-(812)-328-2642, ivkote[AT]comsec[DOT]spb[DOT]ru

Comments? Questions? stepashkin[AT]comsec[DOT]spb[DOT]ru

Locations of visitors to this page