Verifying Security Properties of Cryptoprotocols: A Novel Approach.

Mohamed Saleh Mourad Debbabi

Published in: SEFM (2007)

Keyphrases

security properties
formal model
security requirements
security analysis
security protocols
model checking
formal methods
cryptographic protocols
security vulnerabilities
databases
information systems
sensor networks
response time
key agreement