2006/05/22 by Marten van Dijk, Emina Torlak, van Dijk, Marten +5
Computer Science · #Advanced Authentication Protocols Security #Artificial intelligence #Class (philosophy) #Computer science #Computer security #Cryptographic primitive #Cryptographic protocol #Cryptography #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Formalism (music) #Security and Verification in Computing #Simple (philosophy) #Theoretical computer science #User Authentication and Security Systems #cs.CR
paper · pdf · doi:10.48550/arxiv.cs/0605097
published in arXiv (Cornell University) (Cornell University) · 16 pages
arxiv created 2006/05/22 · openalex publication_date 2006/05/22 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/05
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.