Необходимо зарегистрироваться, чтобы получить доступ к полным текстам статей и выпусков журналов!
- Название статьи
- Моделирование и верификация подсистемы управления доступом средства защиты информации Аккорд-Х
- Авторы
- Каннер Андрей Михайлович kanner@okbsapr.ru, программист группы программирования ПО для СЗИ отдела программирования СЗИ, ЗАО «ОКБ САПР», Москва, Россия
Каннер Татьяна Михайловна tatianash@okbsapr.ru, руководитель учебного центра ЗАО «ОКБ САПР», ведущий инженер лаборатории "Прикладные исследования МФТИ-Сбербанк", ЗАО "ОКБ САПР"; Московский физико-технический институт (национальный исследовательский университет), Москва, Россия; г. Долгопрудный, Московская обл., Россия
- В разделе
- ТЕХНИЧЕСКАЯ ЗАЩИТА ИНФОРМАЦИИ. УПРАВЛЕНИЕ ДОСТУПОМ
- Ключевые слова
- подсистема управления доступом / Аккорд-Х / модель безопасности / верификация / темпоральная логика
- Год
- 2020 номер журнала 3 Страницы 6 - 10
- Индекс УДК
- 004.056
- Код EDN
- Код DOI
- Финансирование
- Тип статьи
- Научная статья
- Аннотация
- Описана модель управления доступом средства защиты информации Аккорд-Х, позволяющего реализовать мандатное управление доступом в операционных системах семейства Linux. В модели учитывается дискреционное управление доступом. Моделирование и верификация модели управления доступом произведены на языке темпоральной логики действий Лэмпорта и соответствующих инструментальных средств верификации.
- Полный текст статьи
- Для прочтения полного текста необходимо купить статью
- Список цитируемой литературы
-
Козачок А. В. Спецификация модели управления доступом к разнокатегорийным ресурсам компьютерных систем // Вопросы кибербезопасности. 2018. № 4(28). С. 2-8.
Козачок А. В. Спецификация модели управления доступом на языке темпоральной логики действий Лэмпорта // Тр. Института системного программирования РАН. 2018. Т. 30. № 5. С. 147-162.
Девянин П. Н. и др. Моделирование и верификация политик безопасности управления доступом в операционных системах. - М.: Горячая линия-Телеком, 2019. - 212 с.
Мозолина Н. В. Формальное моделирование политики безопасности: к вопросу о стандартизации процесса // Комплексная защита информации. 2019. С. 96-99.
Требования по безопасности информации, устанавливающие уровни доверия к средствам технической защиты информации и средствам обеспечения безопасности информационных технологий (выписка). [Приказ ФСТЭК России от 30 июля 2018 г. № 131]. - М.: ФСТЭК России, 2018. - 17 с.
ГОСТ Р ИСО/МЭК 15408-3-2013 Методы и средства обеспечения безопасности. Критерии оценки безопасности информационных технологий. Ч. 3. Компоненты доверия к безопасности. - М.: Стандартинформ, 2014. - 152 с.
ГОСТ Р (проект) Защита информации. Формальное моделирование политики безопасности. Ч. 1. Формальная модель управления доступом. - М.: Стандартинформ, 201x. - 36 с.
ГОСТ Р (проект) Защита информации. Формальное моделирование политики безопасности. Ч. 2. Верификация формальной модели управления доступом. - М.: Стандартинформ, 201x. - 36 с.
Каннер А. М., Ухлинов Л. М. Управление доступом в ОС GNU/Linux // Вопросы защиты информации. 2012. № 3. С. 35-38.
Каннер А. М. Linux: о жизненном цикле процессов и разграничении доступа // Вопросы защиты информации. 2014. № 4. С. 37-40.
Klein G. et al. seL4: formal verification of an OS kernel // Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles. 2009. P. 207-220. DOI: <https://doi.org/10.1145/1629575.1629596>
Lamport L. The Temporal Logic of Actions // ACM Trans. Program. Lang. Syst. 1994. V. 16. № 3. P. 872-923. DOI: http://doi.acm.org/10.1145/177492.177726
Lamport L. et al. Specifying and verifying systems with TLA+ // Proceedings of the ACM SIGOPS 10th workshop. 2002. P. 45-48.
Kanner A. M., Kanner T. M. Testing Software and Hardware Data Security Tools Using the Automata Theory and the Graph Theory // Proceedings of Ural Symposium on Biomedical Engineering, Radioelectronics and Information Technology. 2020. P. 615-618.
Lamport L., Merz S. Auxiliary variables in TLA+ [Электронный ресурс]. URL: https://arxiv.org/pdf/1703.05121.pdf (дата обращения: 01.09.2020).
- Купить
- 500.00 руб
