The Verifiability of Two-Party Protocols

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 219 LNCS, Issue , 1986, Pages 254-260

  Book, Ronald V ^a   Otto, Friedrich ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIVERSITY OF KAISERSLAUTERN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CRYPTOGRAPHY;

FORMAL MODEL; IN NETWORKS; PLAINTEXT; PUBLIC KEY SYSTEMS; PUBLIC-KEY ENCRYPTION; SET OF RULES; TWO-PARTY PROTOCOLS; VERIFIABILITY;

PUBLIC KEY CRYPTOGRAPHY;

EID: 84936902338     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-39805-8_30     Document Type: Conference Paper

References (3)

1. R.V. Book and F. Otto, On the security of name-stamp protocols, Theoret. Comput. Sci. 40 (1985), to appear.
2. W. Diffie and M. Hellman, New directions in cryptography, IEEE Trans. Information Theory IT-22 (1976), 644-654.
3. D. Dolev and A. Yao, On the security of public key protocols, IEEE Trans. Information Theory IT-29 (1983), 198-208. An extended abstract appears in Proc. 22nd IEEE Symp. Foundations of Computer Science (1981), 350-357.