An Approach to the Formal Verification of the Two-Party Cryptographic Protocols | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

1999

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

формальный

верификация

протокол

криптография

Стр.:

P.48-51.

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

Bibliogr.: p.51

Источник:

Operating Systems Review

Номер:

4

Том:

33

Карточка:

А3.53, Б2.53.

Zhang Y., Li J., Xiao G..

An Approach to the Formal Verification of the Two-Party Cryptographic Protocols// Operating Systems Review-1999, №4.-Vol. 33.-P.48-51.
Bibliogr.: p.51

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

ACM6 262