14 citations · 23 across the 5 of their papers we have counts for
1 paper · 2 filters
Daniel J. Dougherty, Joshua D. Guttman, John D. Ramsdell
Cryptographic protocols are used in different environments, but existing methods for protocol analysis focus only on the protocols, without being sensitive to assumptions about the…