Modeling and verification of security properties for critical infrastructure protection.

Ravi Akella Bruce M. McMillin

Published in: CSIIRW (2013)

Keyphrases

security properties
cryptographic protocols
security requirements
formal methods
model checking
formal model
security protocols
image quality
cost effective