RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Devyanin, Petr Nikolaevich

Statistics Math-Net.Ru
Total publications: 23
Scientific articles: 23

Number of views:
This page:2782
Abstract pages:10076
Full texts:4386
References:730
Associate professor
Doctor of technical sciences
E-mail: ,

http://www.mathnet.ru/eng/person43578
List of publications on Google Scholar
List of publications on ZentralBlatt
http://orcid.org/0000-0003-2561-794X

Publications in Math-Net.Ru
2020
1. P. N. Devyanin, V. V. Kuliamin, A. K. Petrenko, A. V. Khoroshilov, I. V. Shchepetkov, “Integrating RBAC, MIC, and MLS in verified hierarchical security model for operating system”, Proceedings of ISP RAS, 32:1 (2020),  7–26  mathnet
2019
2. P. N. Devyanin, “About modeling of MIC and MAC in PostgreSQL within framework of the MROSL DP-model”, Prikl. Diskr. Mat. Suppl., 2019, 12,  161–165  mathnet  elib
2018
3. P. N. Devyanin, “The level of negative roles of the hierarchical representation of MROSL DP-model”, Prikl. Diskr. Mat., 2018, 39,  58–71  mathnet  elib
4. P. N. Devyanin, “Approaches to formal modelling access control in PostgreSQL within framework of the MROSL DP-model”, Prikl. Diskr. Mat. Suppl., 2018, 11,  95–99  mathnet  elib
2017
5. P. N. Devyanin, “Implementation of a non-degenerate lattice of integrity levels within the hierarchical representation of MROSL DP-model”, Prikl. Diskr. Mat. Suppl., 2017, 10,  111–114  mathnet
6. P. N. Devyanin, “On the problem of representation of the formal model of security policy for operating systems”, Proceedings of ISP RAS, 29:3 (2017),  7–16  mathnet  elib
2016
7. P. N. Devyanin, “About results of designing hierarchical representation of MROSL DP-model”, Prikl. Diskr. Mat. Suppl., 2016, 9,  83–87  mathnet
2015
8. P. N. Devyanin, “Security violation necessary conditions for time information flows in MROSL DP-model”, Prikl. Diskr. Mat. Suppl., 2015, 8,  81–83  mathnet
2014
9. P. N. Devyanin, “Security conditions for information flows by memory within the MROSL DP-model”, Prikl. Diskr. Mat. Suppl., 2014, 7,  82–85  mathnet
2013
10. P. N. Devyanin, “System administration in MROSL DP-model”, Prikl. Diskr. Mat., 2013, 4(22),  22–40  mathnet
11. P. N. Devyanin, “Correctness of state transformation rules in MROSL DP-model”, Prikl. Diskr. Mat. Suppl., 2013, 6,  58–59  mathnet
2012
12. P. N. Devyanin, “The role DP-model of access and information flows control in operating systems of Linux sets”, Prikl. Diskr. Mat., 2012, 1(15),  69–90  mathnet
13. P. N. Devyanin, “Results of realization conditions analysis for information flows by memory in ROSL DP-model”, Prikl. Diskr. Mat. Suppl., 2012, 5,  66–67  mathnet
2011
14. P. N. Devyanin, “About the role DP-model for access and information flows control in operating systems of Linux family”, Prikl. Diskr. Mat., 2011, supplement № 4,  42–43  mathnet
15. P. N. Devyanin, “Formation of a dictionary of terms in the theory of modeling the secure access and information flows control in computer systems”, Prikl. Diskr. Mat., 2011, 2(12),  17–39  mathnet
16. P. N. Devyanin, “Transformation rules for states in base role DP-model of access control and information flows in operating systems”, Prikl. Diskr. Mat., 2011, 1(11),  78–95  mathnet
2010
17. P. N. Devyanin, “Security analysis of systems with simple trajectories functioning within framework of the base role DP-model”, Prikl. Diskr. Mat., 2010, supplement № 3,  49–51  mathnet
18. P. N. Devyanin, “Security analysis of systems with simple trajectories of functioning within the base role DP-model”, Prikl. Diskr. Mat., 2010, 1(7),  16–36  mathnet
2009
19. P. N. Devyanin, “Review lection of security models of computer system”, Prikl. Diskr. Mat., 2009, supplement № 2,  151–190  mathnet
20. P. N. Devyanin, “Teaching the models of access and information flows management within discipline “Theoretical foundations of computer security””, Prikl. Diskr. Mat., 2009, supplement № 1,  39–41  mathnet
21. P. N. Devyanin, “Analysis of conditions for taking ownership access within the base role DP-model without memory-information flows”, Prikl. Diskr. Mat., 2009, supplement № 1,  38–39  mathnet
22. P. N. Devyanin, “Analysis of conditions for reception of access owning within the base role DP-model of computer systems without memory information flows”, Prikl. Diskr. Mat., 2009, 3(5),  69–84  mathnet
2008
23. P. N. Devyanin, “Base role DP-model”, Prikl. Diskr. Mat., 2008, 1(1),  64–70  mathnet

Organisations
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2021