248 citations · 415 across the 20 of their papers we have counts for
Showing 2006 · cs.CRShow all
2 papers · 2 filters
cs.CR2006★ 15 cited
Knowledge Flow Analysis for Security Protocols
Emina Torlak, Marten van Dijk, Blaise Gassend +2
Knowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of knowl…
cs.CR2006
A Generalized Two-Phase Analysis of Knowledge Flows in Security Protocols
Marten van Dijk, Emina Torlak, Blaise Gassend +1
We introduce knowledge flow analysis, a simple and flexible formalism for checking cryptographic protocols. Knowledge flows provide a uniform language for expressing the actions of…