Використання формальних моделей безпеки в захищених базах даних: Fìz.-mat. model. ìnf. tehnol. 2021, 32:70-74

• Дата: 2021
• Автори та афіліації: Vladislav Vilihura — Харківський національний університет імені В. Н. Каразіна, майдан Свободи, 6, 61000, Харків; Yuriy Gorbenko — АТ «Інститут інформаційних технологій», вул. Бакуліна, 12, 61000, Харків; Vitaliy Yesin — Харківський національний університет імені В. Н. Каразіна, майдан Свободи, 6, 61000, Харків; Serhiy Rassomakhin — Харківський національний університет імені В. Н. Каразіна, майдан Свободи, 6, 61000, Харків
• Ключові слова: keywords
• Автори: Vilihura, Vladislav, Gorbenko, Yuriy, Yesin, Vitaliy, Rassomakhin, Serhiy
• Формат: Стаття
• Мова: Українська
• Опубліковано: Інститут прикладних проблем механіки і математики ім. Я. С. Підстригача НАН України 2021
• Теми: модель безпеки; управління доступом; інформаційна система; база даних
• Онлайн доступ: https://www.fmmit.lviv.ua/index.php/fmmit/article/view/162
• Назва журналу: Physico-mathematical modeling and informational technologies

The paper contains key provisions (requirements) that should be followed when building secure databases using the capabilities of the main formal access control models, such as discretionary access control models, mandatory access control models, role-based access control models. At the same time, i...