TY  - RPRT
TI  - A Generalized Two-Phase Analysis of Knowledge Flows in Security Protocols
AU  - Marten van Dijk
AU  - Emina Torlak
AU  - Blaise Gassend
AU  - Srinivas Devadas
PY  - 2006
UR  - https://arxiv.org/abs/cs/0605097
ID  - cs/0605097
ER  -