A Hybrid Analysis for Security Protocols with State.

John D. Ramsdell Daniel J. Dougherty Joshua D. Guttman Paul D. Rowe

Published in: CoRR (2014)

Keyphrases

security protocols
data analysis
artificial intelligence
security properties