14 citations · 23 across the 5 of their papers we have counts for
5 papers
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…
A Hybrid Analysis for Security Protocols with State
John D. Ramsdell, Daniel J. Dougherty, Joshua D. Guttman +1
Cryptographic protocols rely on message-passing to coordinate activity among principals. Each principal maintains local state in individual local sessions only as needed to complet…
Symbolic Protocol Analysis for Diffie-Hellman
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…
An Improved Algorithm for Generating Database Transactions from Relational Algebra Specifications
Daniel J. Dougherty
Alloy is a lightweight modeling formalism based on relational algebra. In prior work with Fisler, Giannakopoulos, Krishnamurthi, and Yoo, we have presented a tool, Alchemy, that co…
Extensional and Intensional Strategies
Tony Bourdier, Horatiu Cirstea, Daniel Dougherty +1
This paper is a contribution to the theoretical foundations of strategies. We first present a general definition of abstract strategies which is extensional in the sense that a str…