C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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