@misc{indiciae862d13afb0bb,
  title = {Knowledge Flow Analysis for Security Protocols},
  author = {Emina Torlak and Marten van Dijk and Blaise Gassend and Daniel Jackson and Srinivas Devadas},
  year = {2006},
  url = {https://arxiv.org/abs/cs/0605109},
  note = {Source identifier: cs/0605109}
}