Journals
Books
Articles by keyword formal model
The problem adequacy of conclusion formal models of access control and their realization in computer systems
P.N. Devyanin
Adaptation of MAC and RBAC security DP-model (with realization roles as entities) to conditions functioning of operating systems of Linux sets
P.N. Devyanin - Dr. Sc. (Eng.), Associate Professor, ULV IB
Formal model of information system security officer-s analytical activities
M.Yu. Monakhov - Dr. Sc. (Eng.), Professor, Head of Department of Informatics and Information Security, Vladimir State University named after A.&N. Stoletovs. E-mail: mmonakhov@vlsu.ru
Multilevel control of vital functions based on the functional systems hierarchy
Е.А. Umriykhin - Dr.Sc. (Biol.), PhD (Eng.), Corresponding Member of the Russian Academy Science, Professor, Chief of Neural Cibernetic Laboratory of Federal State Budgetary Scientific Institution «Р.К. Anokhin Research Institute of Normal Physiology» (Moscow). E-mail: eaumin@mail.ru