Профиль » Публикация

Поделиться публикацией:
Опубликовать в блог:
Опубликовано 2007-00-00 ОрганизацияМИФИ ЖурналНаучная сессия МИФИ-2007. XIV Всероссийская научная конференция. Проблемы информационной безопасности в системе высшей школы


Анализ современных методов верификации свойств безопасности протоколов
Бурмистров Г.в.
Бурмистров Г.в. Анализ современных методов верификации свойств безопасности протоколов // Научная сессия МИФИ-2007. XIV Всероссийская научная конференция. Проблемы информационной безопасности в системе высшей школы, стр. 37-38
Аннотация Рассматриваются существующие методы верификации свойств безопасности протоколов. Определяются области применимости для классов методов.
 http://library.mephi.ru/data/scientific-sessions/2007/z14/1-1-16.doc
Показать статистику
Похожие публикации

Комментарии

Вам необходимо зайти или зарегистрироваться для комментирования
Этот комментарий был удален
Этот комментарий был удален