| Наукова періодика України |
| Системи озброєння і військова техніка |
Неткачёва Е. И. Доказательство и обеспечение безопасности с использованием формальных нотаций / Е. И. Неткачёва, В. С. Харченко // Системи озброєння і військова техніка. - 2011. - № 3. - С. 89-97. - Режим доступу: http://nbuv.gov.ua/UJRN/soivt_2011_3_22 Рассмотрены современные подходы к построению доказательства безопасности c использованием формальных нотаций. Представлена концепция обоснований безопасности, гарантии и доверия, описана организация процесса разработки и структура результирующих отчетов по безопасности. Рассмотрены и проанализированы три наиболее распространенные нотации для представления обоснований: нотация Тулмина, Ascad и GSN, с подробным описанием основных элементов и схематичным представлением и анализом моделей аргументов этих нотаций. Цитованість авторів публікації: Бібліографічний опис для цитування: Неткачёва Е. И. Доказательство и обеспечение безопасности с использованием формальных нотаций / Е. И. Неткачёва, В. С. Харченко // Системи озброєння і військова техніка. - 2011. - № 3. - С. 89-97. - Режим доступу: http://nbuv.gov.ua/UJRN/soivt_2011_3_22. Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця" |
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |
|||||
