Сборники трудов ИСП РАН


Логика первого порядка для задания требований к безопасному программному коду

Козачок А.В. (Академия ФСО, Орел, Россия)

Аннотация

В настоящее время вопросу защиты информации при проектировании и эксплуатации объектов критической информационной инфраструктуры уделяется особое внимание. Одним из распространенных подходов к обеспечению безопасности информации, обрабатываемой на объектах, при этом является создание изолированной программной среды. Безопасность среды обуславливается ее неизменностью. Однако эволюционное развитие систем обработки информации порождает необходимость запуска в данной среде новых компонентов и программного обеспечения при условии выполнения требований по безопасности. Наиболее важным при этом является вопрос доверия к новому программному коду. Данная работа посвящена разработке формального логического языка описания функциональных требований к программному коду, который позволит в дальнейшем предъявлять требования на этапе статического анализа и контролировать их выполнение в динамике.

Ключевые слова

формальный логический язык; моделирование; процесс; вредоносная программа; проверка моделей; автомат безопасности

Издание

Труды Института системного программирования РАН, том 29, вып. 5, 2017, стр. 135-148.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2017-29(5)-8

Полный текст статьи в формате pdf Вернуться к содержанию тома