Login / Signup
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