10 citations · 27 across the 8 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.CR2014★ 2 cited
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…
cs.CR2014★ 3 cited
Proving Security Goals With Shape Analysis Sentences
John D. Ramsdell
The paper that introduced shape analysis sentences presented a method for extracting a sentence in first-order logic that completely characterizes a run of CPSA. Logical deduction…