Верификация функций безопасности протокола IPSEC V2 | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Никешин А. В.

Пакулин Н. В.

Шнитман В. З.

Количество экземпляров:

1

Вид:

Статья из сборника или журнала

Год:

2011

Ключевые слова:

верификация

разработка

тестовый

протоколы безопасности

автоматический

тестирование

Стр.:

С.36-56

Библиография:

Библиогр.: c.56

Источник:

Программирование

Номер:

1

Карточка:

Б3.54.

Никешин А. В., Пакулин Н. В., Шнитман В. З..

Верификация функций безопасности протокола IPSEC V2// Программирование-2011, №1.-С.36-56
Библиогр.: c.56

Таблица в старой библиотеке:

PAP31 609