Дата публикации: 2013

Дата публикации в реестре: 2021-08-05T17:32:09Z

Аннотация:

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

Тип: Статья