10 citations · 27 across the 8 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.CR2018
Homomorphisms and Minimality for Enrich-by-Need Security Analysis
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…
cs.CR2018★ 1 cited
Enrich-by-need Protocol Analysis for Diffie-Hellman (Extended Version)
Moses D. Liskov, Joshua D. Guttman, John D. Ramsdell +2
Enrich-by-need protocol analysis is a style of symbolic protocol analysis that characterizes all executions of a protocol that extend a given scenario. In effect, it computes a str…