A Hybrid Analysis for Security Protocols with State.

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

Browse the full IFM paper archive.