On the security of SPLICE/AS -- The authentication system in WIDE Internet
From MaRDI portal
Publication:673820
DOI10.1016/0020-0190(94)00175-XzbMath0875.68376OpenAlexW1990875740MaRDI QIDQ673820
Yung-Hsiang Chen, Tzonelih Hwang
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(94)00175-x
Related Items (5)
On the Clark-Jacob version of SPLICE/AS ⋮ Automated type-based analysis of injective agreement in the presence of compromised principals ⋮ On the security of recent protocols ⋮ Breaking and fixing public-key Kerberos ⋮ A static analysis of cryptographic processes: the denotational approach
Cites Work
This page was built for publication: On the security of SPLICE/AS -- The authentication system in WIDE Internet
