|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Formal Modeling of Multi-Level Security and Integrity Control Implemented with SELinuxдоклад на конференции
- Авторы: Кулямин В.В., Хорошилов А.В., Медведев Д.Л.
- Международная Конференция : VI International Conference Actual Problems of System and Software Engineering (APSSE 2019)
- Даты проведения конференции: 12-14 ноября 2019
- Дата доклада: 12 ноября 2019
- Тип доклада: Пленарный
- Докладчик: Кулямин В.В.
- Место проведения: Москва, Russia
-
Аннотация доклада:
The talk presents formal security model of Linux distributions provided by Bazalt SPO, which integrates multi-level security (MLS) and mandatory integrity control (MIC) implemented on the base of SELinux framework. The model also includes information flows analysis framework described as an extended Take-Grant model. The main novelty of the model is the integration of MLS and MIC that can be implemented in SELinux. The model is specified in a hierarchical manner on Event-B language, its security properties are represented as invariants and formally proved.
- Добавил в систему: Кулямин Виктор Вячеславович