A Hybrid Analysis for Security Protocols with State.

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

Published in: IFM (2014)

Keyphrases

security protocols
data analysis
case study