The paper reports on mandatory integrity control mechanisms elaborated for mandatory DP-model of DBMS MySQL. The elaboration is aimed at data protection from improper modification. It allows avoid information flows from entities of lower integrity level that modify entities of higher integrity level. The paper provides new elements introduced for mandatory integrity control, describes some rules of system transformation, defines the notion of state without integrity violation and gives a necessary condition for the system to stay in this state.
Download file
Counter downloads: 225
- Title Integrity control in mandatory DP-model of DBMS MySQL
- Headline Integrity control in mandatory DP-model of DBMS MySQL
- Publesher
Tomsk State University - Issue Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics 7 (Приложение)
- Date:
- DOI
Keywords
formal security models, information flows, mandatory integrity control, access control, формальные модели безопасности, информационные потоки, мандатный контроль целостности, управление доступомAuthors
References
Девянин П. Н. Модели безопасности компьютерных систем. Управление доступом и информационными потоками: учеб. пособие для вузов. М.: Горячая линия-Телеком, 2012. 320 c.
Biba K. J. Integrity Considerations for Secure Computer Systems. Technical Report MTR-3153. MITRE Corp., 1975.
Колегов Д. Н., Ткаченко Н. О., Чернов Д. В. Разработка и реализация мандатных механизмов управления доступом в СУБД MySQL // Прикладная дискретная математика. Приложение. 2013. № 6. С. 62-67.
Integrity control in mandatory DP-model of DBMS MySQL | Prikladnaya Diskretnaya Matematika - Applied Discrete Mathematics. 2014. № 7 (Приложение).
Download full-text version
Counter downloads: 1920