On the security of recent protocols
From MaRDI portal
Publication:672259
DOI10.1016/0020-0190(95)00136-ZzbMath1004.68503OpenAlexW2095046496MaRDI QIDQ672259
John A. Clark, Jeremy L. Jacob
Publication date: 28 February 1997
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(95)00136-z
Related Items
On the Clark-Jacob version of SPLICE/AS ⋮ FORSAKES: a forward-secure authenticated key exchange protocol based on symmetric key-evolving schemes ⋮ Breaking and fixing public-key Kerberos ⋮ A static analysis of cryptographic processes: the denotational approach
Cites Work