Skip navigation
Please use this identifier to cite or link to this item: https://libeldoc.bsuir.by/handle/123456789/26851
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

Files in This Item:
File Description SizeFormat 
Sivko_Vybor.PDF424.82 kBAdobe PDFView/Open
Show full item record Google Scholar

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.