Conditions and results of application are analysed for state transformation rules in mandatory entity-role security model of access and information flows control in OS of Linux set (MROSL DP-model). The correctness of the rules is considered with regard to requirements of mandatory access control (MAC), mandatory integrity control (MIC) and role-based access control (RBAC).
Download file
Counter downloads: 295
- Title Correctness of state transformation rules in MROSL DP-model
- Headline Correctness of state transformation rules in MROSL DP-model
- Publesher
Tomsk State University
- Issue Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics 6 (Приложение)
- Date:
- DOI
Keywords
компьютерная безопасность, формальная модель, управление доступом, computer security, formal model, access controlAuthors
References
Операционные системы Astra Linux // http://www.astra-linux.ru/.
Девянин П. Н. О разработке мандатной сущностно-ролевой ДП-модели управления доступом и информационными потоками в операционных системах семейства Linux // Методы и технические средства обеспечения безопасности информации: Материалы 21-й науч.-технич. конф
Девянин П. Н. Модели безопасности компьютерных систем. Управление доступом и информационными потоками: учеб. пособие для вузов. 2-е изд., испр. и доп. М.: Горячая линия-Телеком, 2013. 338 с.

Correctness of state transformation rules in MROSL DP-model | Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics. 2013. № 6 (Приложение).
Download full-text version
Download fileCounter downloads: 1888