Protection of cloud computing environments by means of software verification for the presence of destructive properties

More works in this specialty

1. Construction and analysis of attack trees on computer networks taking into account the timeliness requirement

   Chechulin, Andrey Alekseyevich · 2013 · Candidate of Sciences · St. Petersburg Institute for Informatics and Automation of the Russian Academy of Sciences

   • 05.13.19 Methods and systems of information protection, information security
2. Protection of mail services from unauthorized mailings based on content filtering of electronic messages

   Chernoprudova, Elena Nikolaevna · 2013 · Candidate of Sciences · Ufa State Aviation Technical University

   • 05.13.19 Methods and systems of information protection, information security
3. Synthesis of a backup control loop for an organization's security service based on Petri nets

   Mamaev, Aleksandr Vladimirovich · 2012 · Candidate of Sciences · National Research Nuclear University

   • 05.13.19 Methods and systems of information protection, information security
4. Dynamic iterative assessment of information security risks in automated systems

   Atamanov, Aleksandr Nikolaevich · 2012 · Candidate of Sciences · National Research Nuclear University

   • 05.13.19 Methods and systems of information protection, information security
5. Protection of software implementations of algorithms based on register-type transformations against analysis in untrusted environments

   Rodionov, Yevgeniy Yur'yevich · 2012 · Candidate of Sciences · National Research Nuclear University

   • 05.13.19 Methods and systems of information protection, information security

All works in this specialty