POSTER: Towards Precise and Automated Verification of Security Protocols in Coq.

Hernan M. Palombo Hao Zheng Jay Ligatti

Published in: CCS (2017)

Keyphrases

security protocols
automated verification
model checking
automated reasoning
theorem prover
formal verification
formal methods
automated design
security properties
artificial immune algorithm
security services
key management
security mechanisms
cryptographic protocols
graph theory
end to end
machine learning