Login / Signup
The AVISS Security Protocol Analysis Tool.
Alessandro Armando
David A. Basin
Mehdi Bouallagui
Yannick Chevalier
Luca Compagna
Sebastian Mödersheim
Michaël Rusinowitch
Mathieu Turuani
Luca Viganò
Laurent Vigneron
Published in:
CAV (2002)
Keyphrases
</>
distributed systems
analysis tool
security protocols
automated design
cryptographic algorithms
security services
security mechanisms
operating system
key management
authentication protocol
artificial immune algorithm
wireless networks
resource constrained