Login / Signup
Petr N. Devyanin
Publication Activity (10 Years)
Years Active: 2014-2020
Publications (10 Years): 2
Top Topics
Security Model
Decomposition Methods
Operating System
Fine Grained
Top Venues
Program. Comput. Softw.
Ershov Memorial Conference
ABZ
</>
Publications
</>
Petr N. Devyanin
,
Alexey V. Khoroshilov
,
Victor V. Kuliamin
,
Alexander K. Petrenko
,
Ilya V. Shchepetkov
Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System.
Program. Comput. Softw.
46 (7) (2020)
Petr N. Devyanin
,
Victor V. Kulyamin
,
Alexander K. Petrenko
,
Alexey V. Khoroshilov
,
Ilya V. Shchepetkov
Comparison of specification decomposition methods in Event-B.
Program. Comput. Softw.
42 (4) (2016)
Petr N. Devyanin
,
Alexey V. Khoroshilov
,
Victor V. Kuliamin
,
Alexander K. Petrenko
,
Ilya V. Shchepetkov
Using Refinement in Formal Development of OS Security Model.
Ershov Memorial Conference
(2015)
Petr N. Devyanin
,
Alexey V. Khoroshilov
,
Victor V. Kuliamin
,
Alexander K. Petrenko
,
Ilya V. Shchepetkov
Formal Verification of OS Security Model with Alloy and Event-B.
ABZ
(2014)