A Generalized Two-Phase Analysis of Knowledge Flows in Security Protocols
<|reference_start|>A Generalized Two-Phase Analysis of Knowledge Flows in Security Protocols: We introduce knowledge flow analysis, a simple and flexible formalism for checking cryptographic protocols. Knowledge flows provide a uniform language for expressing the actions of principals, assump- tions about intruders, and the properties of cryptographic primitives. Our approach enables a generalized two-phase analysis: we extend the two-phase theory by identifying the necessary and sufficient proper- ties of a broad class of cryptographic primitives for which the theory holds. We also contribute a library of standard primitives and show that they satisfy our criteria.<|reference_end|>
@article{van dijk2006a,
    title={A Generalized Two-Phase Analysis of Knowledge Flows in Security
  Protocols},
    author={Marten van Dijk, Emina Torlak, Blaise Gassend, and Srinivas Devadas},
    journal={arXiv preprint arXiv:cs/0605097},
    year={2006},
    archivePrefix={arXiv},
    eprint={cs/0605097},
    primaryClass={cs.CR}
}