Formal verification of OS security model with Alloy and Event-B PN Devyanin, AV Khoroshilov, VV Kuliamin, AK Petrenko, IV Shchepetkov Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International …, 2014 | 27 | 2014 |
Comparison of specification decomposition methods in Event-B PN Devyanin, VV Kulyamin, AK Petrenko, AV Khoroshilov, ... Programming and Computer Software 42, 198-205, 2016 | 12 | 2016 |
Using refinement in formal development of OS security model PN Devyanin, AV Khoroshilov, VV Kuliamin, AK Petrenko, IV Shchepetkov Perspectives of System Informatics: 10th International Andrei Ershov …, 2016 | 10 | 2016 |
Integrating RBAC, MIC, and MLS in verified hierarchical security model for operating system PN Devyanin, AV Khoroshilov, VV Kuliamin, AK Petrenko, IV Shchepetkov Programming and Computer Software 46, 443-453, 2020 | 9 | 2020 |
Runtime verification of linux kernel security module D Efremov, I Shchepetkov International Symposium on Formal Methods, 185-199, 2019 | 7 | 2019 |
Integration of mandatory and role-based access control and mandatory integrity control in a verified hierarchical security model of an operating system PN Devyanin, VV Kulyamin, AK Petrenko, AV Khoroshilov, ... Proceedings of the Institute of System Programming of the Russian Academy of …, 2020 | 5 | 2020 |
Monitoring and testing based on multi-level program specifications AK Petrenko, DV Efremov, EV Kornykhin, VV Kulyamin, AV Khoroshilov, ... Proceedings of the Institute for System Programming of the RAS 32 (6), 7-18, 2020 | 3 | 2020 |
A state-based refinement technique for Event-B A Khoroshilov, V Kuliamin, AK Petrenko, I Shchepetkov 2020 Ivannikov Memorial Workshop (IVMEM), 49-54, 2020 | 2 | 2020 |
ADV_SPM Formal security policy models in practice AV Khoroshilov, IV Shchepetkov Proceedings of the Institute for System Programming of the RAS 29 (3), 43-56, 2017 | 2 | 2017 |
Formal specification of a security framework for smart contracts M Mandrykin, J O’Shannessy, J Payne, I Shchepetkov Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7 …, 2020 | 1 | 2020 |
Runtime Verification of Operating Systems Based on Abstract Models DV Efremov, VV Kopach, EV Kornykhin, VV Kuliamin, AK Petrenko, ... Programming and Computer Software 49 (7), 559-565, 2023 | | 2023 |
Klever: Verification Framework for Critical Industrial C Programs I Zakharov, E Novikov, I Shchepetkov arXiv preprint arXiv:2309.16427, 2023 | | 2023 |