1. Наука
  2. Видання
  3. Системи озброєння і військова техніка
  4. 3(27)'2011
  5. Доказ та забезпечення безпеки з використанням формальних нотацій

Доказ та забезпечення безпеки з використанням формальних нотацій

К.І. Неткачова, В.С. Харченко
Анотації на мовах:

Розглянуті сучасні підходи до проведення доказу безпеки з використанням формальних нотацій. Представлена концепція обґрунтувань безпеки, гарантії і довіри, описана організація процесу розробки і структура результуючих звітів про безпеку. Приведені та проаналізовані структури трьох найпоширеніших нотацій для створення обґрунтувань: нотацій Тулміна, Ascad і GSN. Надано детальний опис основних елементів та схематичних зображень і аналіз моделей аргументів цих нотацій.
Ключові слова: обґрунтування безпеки, обґрунтування гарантії, обґрунтування довіри, нотація Тулміна, Ascad, нотація структурування цілей