Tests for Establishing Security Properties.

Vincent Cheval Stéphanie Delaune Mark Ryan

Published in: TGC (2014)

Keyphrases

security properties
formal model
security requirements
security analysis
security protocols
cryptographic protocols
security vulnerabilities
formal methods
key agreement
databases
artificial intelligence
case study
knowledge based systems