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