Наукова періодика України Збірник наукових праць Харківського національного університету Повітряних Сил

Косенко И. В. 
Формализация требований гарантий безопасности (в соответствии со стандартом ISO / IEC 15408) на основе CASE-подхода / И. В. Косенко, О. А. Усачева, М. Г. Стадниченко // Збірник наукових праць Харківського університету Повітряних Сил. - 2016. - Вип. 1. - С. 93-98. - Режим доступу: http://nbuv.gov.ua/UJRN/ZKhUPS_2016_1_23
Описан подход к построению инфраструктуры использования программных стандартов. Рассмотрены современные подходы к формализации требований гарантий безопасности (в соответствии со стандартом ISO/ IEC 15408) на основании CASE-подхода c использованием формальных нотаций. На основе произведённого анализа, наиболее распространенных нотаций для представления обоснований, осуществлен выбор нотации IT-Trust для формализации требований гарантий безопасности. Разработана методика построения Assurance Case в нотации IT-Trust на основе класса "анализ уязвимости".
  Повний текст PDF - 327 Kb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Косенко И.
  • Усачева О.
  • Стадниченко М.

    • Бібліографічний опис для цитування:

    Косенко И. В. Формализация требований гарантий безопасности (в соответствии со стандартом ISO / IEC 15408) на основе CASE-подхода / И. В. Косенко, О. А. Усачева, М. Г. Стадниченко // Збірник наукових праць Харківського університету Повітряних Сил. - 2016. - Вип. 1. - С. 93-98. - Режим доступу: http://nbuv.gov.ua/UJRN/ZKhUPS_2016_1_23.
      Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     
    Відділ інформаційно-комунікаційних технологій
    Пам`ятка користувача

    Всі права захищені © Національна бібліотека України імені В. І. Вернадського