@misc{indiciaec222282427c9,
  title = {A Generalized Two-Phase Analysis of Knowledge Flows in Security Protocols},
  author = {Marten van Dijk and Emina Torlak and Blaise Gassend and Srinivas Devadas},
  year = {2006},
  url = {https://arxiv.org/abs/cs/0605097},
  note = {Source identifier: cs/0605097}
}