Articles 1 to 2 of 2

1.

cs.CR/0605109 Knowledge Flow Analysis for Security Protocols. Emina Torlak, Marten van Dijk, Blaise Gassend, Daniel Jackson, Srinivas Devadas. MIT-CSAIL-TR-2005-066. cs.CR (cs.SE).

2.

cs.CR/0605097 A Generalized Two-Phase Analysis of Knowledge Flows in Security Protocols. Marten van Dijk, Emina Torlak, Blaise Gassend, Srinivas Devadas. cs.CR.

- for questions or comments about the Front arXiv contact page - for questions about downloading and submitting e-prints