Petr N. Devyanin

According to our database, Petr N. Devyanin authored at least 4 papers between 2014 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System.

Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov

Program. Comput. Softw., 2020

2016

Comparison of specification decomposition methods in Event-B.

Petr N. Devyanin, Victor V. Kulyamin, Alexander K. Petrenko, Alexey V. Khoroshilov, Ilya V. Shchepetkov

Program. Comput. Softw., 2016

2015

Using Refinement in Formal Development of OS Security Model.

Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov

Proceedings of the Perspectives of System Informatics, 2015

2014

Formal Verification of OS Security Model with Alloy and Event-B.

Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014