Login / Signup
Symbolic Trace Analysis of Cryptographic Protocols.
Michele Boreale
Published in:
ICALP (2001)
Keyphrases
</>
cryptographic protocols
data analysis
knn
response time
operating system
model checking