14 citations · 23 across the 5 of their papers we have counts for
1 paper · 2 filters
Daniel J. Dougherty, Joshua D. Guttman
We extend symbolic protocol analysis to apply to protocols using Diffie-Hellman operations. Diffie-Hellman operations act on a cyclic group of prime order, together with an exponen…