| DC Field | Value | Language |
|---|
| dc.contributor.author | Сивко, Б. В. | - |
| dc.date.accessioned | 2017-10-19T06:04:12Z | - |
| dc.date.available | 2017-10-19T06:04:12Z | - |
| dc.date.issued | 2013 | - |
| dc.identifier.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. | ru_RU |
| dc.identifier.uri | https://libeldoc.bsuir.by/handle/123456789/26851 | - |
| dc.description.abstract | Рассмотрены вопросы формализации и определения функции безопасности при верификации программного обеспечения критически важных объектов информатизации, Приведены способы поиска и выбора функции безопасности на основании технического задания, ограниченности ресурсов, используемой стратегии обеспечения безопасности и общих требований к характеристикам системы, Обоснована возможность изменения функции безопасности для проведения более эффективного доказательства корректности, Введено понятие контрольного списка особенностей системы, используемого для определения функции безопасности. | ru_RU |
| dc.language.iso | ru | ru_RU |
| dc.publisher | БГУИР | ru_RU |
| dc.subject | верификация объектов информатизации | ru_RU |
| dc.subject | безопасность верификации | ru_RU |
| dc.subject | материалы конференций | ru_RU |
| dc.subject | программное обеспечение | ru_RU |
| dc.subject | верификация ПО | ru_RU |
| dc.title | Выбор и определение функции безопасности при верификации программного обеспечения критически важных объектов информатизации | ru_RU |
| dc.type | Статья | ru_RU |
| Appears in Collections: | ИТС 2013
|
