TY  - RPRT
TI  - Knowledge Flow Analysis for Security Protocols
AU  - Emina Torlak
AU  - Marten van Dijk
AU  - Blaise Gassend
AU  - Daniel Jackson
AU  - Srinivas Devadas
PY  - 2006
UR  - https://arxiv.org/abs/cs/0605109
ID  - cs/0605109
ER  -