Вы здесь
Flow Logic for Dolev-Yao Secrecy in Cryptographic Processes
Количество экземпляров:
1
Вид:
Статья из сборника или журнала
Год:
2002
Ключевые слова:
Стр.:
P.747-756
Библиография:
Bibliogr.: p.754-755
Источник:
Номер:
6
Том:
18
Карточка:
Б2.53.
Bodei C., Degano P., Nielson F., Nielson H. R..
Flow Logic for Dolev-Yao Secrecy in Cryptographic Processes// FGCS-2002, №6.-Vol. 18.-P.747-756
Bibliogr.: p.754-755
Таблица в старой библиотеке:
PAP25 240