Login / Signup
Automatic Verification of Security Properties Based on Abstractions.
Liana Bozga
Cristian Ene
Romain Janvier
Yassine Lakhnech
Laurent Mazaré
Michaël Périn
Published in:
VISSAS (2005)
Keyphrases
</>
security properties
formal model
security requirements
security protocols
security analysis
security vulnerabilities
high level
formal methods
cryptographic protocols
artificial intelligence
databases