15 citations · 15 across the 2 of their papers we have counts for
2 papers
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…