( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Strand Spaces: Proving Security Protocols Correct.

, , и . J. Comput. Secur., 7 (1): 191-230 (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Jonathan Herzog

Jonathan Roth

Jonathan Cavanagh

Jonathan Roericht

Jonathan Burmeister

 

Другие публикации лиц с тем же именем

Trust Management in Strand Spaces: A Rely-Guarantee Method., , , , , и . ESOP, том 2986 из Lecture Notes in Computer Science, стр. 325-339. Springer, (2004)Strand Spaces: Proving Security Protocols Correct., , и . J. Comput. Secur., 7 (1): 191-230 (1999)Honest Ideals on Strand Spaces., , и . CSFW, стр. 66-77. IEEE Computer Society, (1998)Programming Cryptographic Protocols., , , и . TGC, том 3705 из Lecture Notes in Computer Science, стр. 116-145. Springer, (2005)Use of Static-Static Elliptic Curve Diffie-Hellman Key Agreement in Cryptographic Message Syntax., и . RFC, (июня 2011)The Diffie-Hellman Key-Agreement Scheme in the Strand-Space Model.. CSFW, стр. 234-247. IEEE Computer Society, (2003)Strand Spaces: Why is a Security Protocol Correct?, , и . S&P, стр. 160-171. IEEE Computer Society, (1998)Mixed Strand Spaces., , и . CSFW, стр. 72-82. IEEE Computer Society, (1999)