Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA.

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

Browse the full IFM paper archive.