Marten van Dijk Emina Torlak Blaise Gassend Srinivas Devadas A Generalized Two-Phase Analysis of Knowledge Flows in Security Protocols http://arxiv.org/abs/cs/0605097 2006 CoRR abs/cs/0605097 db/journals/corr/corr0605.html#abs-cs-0605097 informal publication