Login / Signup
Experimenting with STA, a tool for automatic analysis of security protocols.
Michele Boreale
Maria Grazia Buscemi
Published in:
SAC (2002)
Keyphrases
</>
automatic analysis
security protocols
automated design
cryptographic algorithms
artificial immune algorithm
security services