Shchepetkov Ilya Viktorovich

Publications in Math-Net.Ru

1. Runtime verification of operating systems based on abstract models
   
   Proceedings of ISP RAS, 33:6 (2021),  15–26
2. Monitoring and testing based on multi-level program specifications
   
   Proceedings of ISP RAS, 32:6 (2020),  7–18
3. Integrating RBAC, MIC, and MLS in verified hierarchical security model for operating system
   
   Proceedings of ISP RAS, 32:1 (2020),  7–26
4. ADV_SPM — Formal security policy models in practice
   
   Proceedings of ISP RAS, 29:3 (2017),  43–56