Login / Signup
The Use of Logic in the Analysis of Cryptographic Protocols.
Paul F. Syverson
Published in:
IEEE Symposium on Security and Privacy (1991)
Keyphrases
</>
data analysis
cryptographic protocols
similarity measure
distributed systems
end to end