Login / Signup
A Framework for the Analysis of Security Protocols.
Michele Boreale
Maria Grazia Buscemi
Published in:
CONCUR (2002)
Keyphrases
</>
security protocols
data analysis
artificial intelligence
case study
source code