Найдено 2 результата
- 21 дек 2009 09:42 pm
- Форум: Студенческие задачи (2009-2010)
- Тема: Константин Савенков / Ампилогов Антон, 4 курс, sec-sem
- Ответы: 1
- Просмотры: 1923
Отчет о проделанной работе
Тема Динамическая верификация программ во время выполнения. Цель работы Сделать возможной динамическую проверку свойств, описанных на LTL, осуществляемую в рамках СОА «RedSecure» Актуальность Система осуществляющая динамическую проверку свойств позволяет осуществлять проверку в системах, где статич...
- 17 дек 2008 10:43 pm
- Форум: Студенческие задачи (2008-2009)
- Тема: Константин Савенков / Антон Ампилогов, 3 курс, sec-sem
- Ответы: 1
- Просмотры: 2045
Отчет о проделанной работе. Автор: Антон Ампилогов. Научный руководитель: Константин Савенков. Тема курсовой работы: Верификация безопасности наблюдаемого поведения информационной системы. Цель работы: Сделать возможной верификацию безопасности информационной системы во время выполнения в рамках СО...