|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Формирование методологии разработки безопасного системного программного обеспечения на примере операционных систем
П. Н. Девянинa, В. Ю. Тележниковa, А. В. Хорошиловbcde a ООО «РусБИТех-Астра»
b Московский государственный университет имени М. В. Ломоносова
c НИУ “Высшая школа экономики”
d Институт системного программирования им. В.П. Иванникова РАН
e Московский физико-технический институт
Аннотация:
Разработка безопасного системного программного обеспечения (ПО), на основе которого строятся сертифицированные средства защиты информации, достижение доверия к нему согласно требованиями нормативных документов отечественных регуляторов – крупная научно-техническая проблема. Возможным путем ее решения является формирование соответствующей методологии, которая должна включить передовые научные результаты в области информационной безопасности и системного программирования и отразить лучшие практики разработки такого ПО. В статье рассматриваются текущие результаты формирования этой методологии, которое осуществляется по следующим направлениям. Во-первых, это деятельность по развитию нормативной базы в области разработки и обеспечения доверия к безопасному системному ПО, включая создание профильных национальных стандартов. Во-вторых, разработка и верификация формальных моделей управления доступом, как основы механизмов защиты, входящих в состав системного ПО и составляющих его поверхность атаки. В-третьих, методы и технологии статического и динамического анализа программного кода системного ПО с учётом его специфики. В-четвертых, способы сбора и аналитической обработки данных, получаемых в ходе анализа программного кода системного ПО. Все направления формирования методологии иллюстрируются примерами ее практического применения и апробации при разработке ОС семейства Linux, в особенности сертифицированной по высшим классам защиты и уровням доверия операционной системы специального назначения Astra Linux Special Edition.
Ключевые слова:
системное программное обеспечение, формальная модель управления доступом, верификация, статический и динамический анализ кода, операционная система, Astra Linux.
Образец цитирования:
П. Н. Девянин, В. Ю. Тележников, А. В. Хорошилов, “Формирование методологии разработки безопасного системного программного обеспечения на примере операционных систем”, Труды ИСП РАН, 33:5 (2021), 25–40
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/tisp626 https://www.mathnet.ru/rus/tisp/v33/i5/p25
|
Статистика просмотров: |
Страница аннотации: | 51 | PDF полного текста: | 8 |
|