![Dolev-Yao model / Secure multi-party computation / Cryptographic primitive / Formal verification / Communications protocol / Transport Layer Security / Authentication protocol / Secure channel / Random oracle / Cryptography / Cryptographic protocols / Universal composability Dolev-Yao model / Secure multi-party computation / Cryptographic primitive / Formal verification / Communications protocol / Transport Layer Security / Authentication protocol / Secure channel / Random oracle / Cryptography / Cryptographic protocols / Universal composability](https://www.pdfsearch.io/img/cac183fe7fa1b29a3ab9123326344fd3.jpg) Date: 2005-07-27 15:21:45Dolev-Yao model Secure multi-party computation Cryptographic primitive Formal verification Communications protocol Transport Layer Security Authentication protocol Secure channel Random oracle Cryptography Cryptographic protocols Universal composability | | Report on DIMACS∗ Workshop on Security Analysis of Protocols Date of workshop: June 7 – 9, 2004 Workshop Organizers: John Mitchell, Stanford University Ran Canetti, IBM WatsonAdd to Reading ListSource URL: dimacs.rutgers.eduDownload Document from Source Website File Size: 131,35 KBShare Document on Facebook
|