Title: | Выбор и определение функции безопасности при верификации программного обеспечения критически важных объектов информатизации |
Authors: | Сивко, Б. В. |
Keywords: | верификация объектов информатизации;безопасность верификации;материалы конференций;программное обеспечение;верификация ПО |
Issue Date: | 2013 |
Publisher: | БГУИР |
Citation: | Сивко, Б. В. Выбор и определение функции безопасности при верификации программного обеспечения критически важных объектов информатизации / В. Б. Сивко // Информационные технологии и системы 2013 (ИТС 2013) : материалы международной научной конференции, БГУИР, Минск, Беларусь, 23 октября 2013 г. = Information Technologies and Systems 2013 (ITS 2013) : Proceeding of The International Conference, BSUIR, Minsk, 24th October 2013 / редкол.: Л. Ю. Шилин [и др.]. - Минск : БГУИР, 2013. – С. 322–323. |
Abstract: | Рассмотрены вопросы формализации и определения функции безопасности при верификации программного обеспечения критически важных объектов информатизации, Приведены способы поиска и выбора функции безопасности на основании технического задания, ограниченности ресурсов, используемой стратегии обеспечения безопасности и общих требований к характеристикам системы, Обоснована возможность изменения функции безопасности для проведения более эффективного доказательства корректности, Введено понятие контрольного списка особенностей системы, используемого для определения функции безопасности. |
URI: | https://libeldoc.bsuir.by/handle/123456789/26851 |
Appears in Collections: | ИТС 2013
|