1. Наука
  2. Видання
  3. Збірник наукових праць Харківського національного університету Повітряних Сил
  4. 1(46)'2016
  5. Формализация требований гарантий безопасности (в соответствии со стандартом ISO / IEC 15408) на основе CASE-подхода

Формализация требований гарантий безопасности (в соответствии со стандартом ISO / IEC 15408) на основе CASE-подхода

И. В. Косенко, О. А. Усачева, М. Г. Стадниченко
УДК 004.05:681.3.06
Мова статті: російська
Анотації на мовах:

В статье описывается подход к построению инфраструктуры использования программных стандар-тов. Рассмотрены современные подходы к формализации требований гарантий безопасности (в соответ-ствии со стандартом ISO / IEC 15408) на основе CASE-подхода c использованием формальных нотаций. На основе произведённого анализа, наиболее распространенных нотации для представления обоснований, был осуществлен выбор нотации IT-Trust для формализации требований гарантий безопасности. В ходе работы была разработана методика построения Assurance Case в нотации IT-Trust на основе класса “анализ уязвимости”.
Ключові слова: безопасность информационных технологий, единые критерии, обоснование безопасности, обоснование гарантии, нотация Тулмина, ASCAD, нотации IT-Trust
Інформація про авторів публікації:
Бібліографічний опис для цитування:
Косенко И. В. Формализация требований гарантий безопасности (в соответствии со стандартом ISO / IEC 15408) на основе CASE-подхода / И. В. Косенко, О. А. Усачева, М. Г. Стадниченко  // Збірник наукових праць Харківського національного університету Повітряних Сил. — 2016. — № 1. — С. 93-98.