ПРОБЛЕМЫ ВЕРИФИКАЦИИ КРИПТОГРАФИЧЕСКИХ ПРОТОКОЛОВ МЕТОДОМ MODEL CHECKING : научное издание

Описание

Тип публикации: статья из журнала

Год издания: 2016

Ссылки на полный текст

Издание

Журнал: Методы и технические средства обеспечения безопасности информации

Выпуск журнала: 25

Номера страниц: 77-78

Место издания: Санкт-Петербург

Издатель: Федеральное государственное автономное образовательное учреждение высшего образования Санкт-Петербургский политехнический университет Петра Великого

Персоны

  • Платонов В.В. (Санкт-Петербургский политехнический университет Петра Великого)

Вхождение в базы данных