S. Micali, advanced class on cryptographic protocols, given at MIT, Spring 1996. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Security and Composition of Multi-party Cryptographic Protocols - Canetti (1999) (163 citations) (Correct)
....The secure channels setting is defined in the sequel. Micali and Rogaway s manuscript is quite comprehensive and contains many enlightening observations, discussions, and examples regarding secure multi party protocols. We have benefited a lot from reading this work, as well as from attending [m96]. Beaver makes the comparison of a protocol with the ideal process more explicit [b91] That is, first a general notion of comparing security of protocols is formulated. Next, a protocol for evaluating a given function is considered secure if it is at least as secure as the ideal process for ....
S. Micali, advanced class on cryptographic protocols, given at MIT, Spring 1996.
Security and Composition of Multi-party Cryptographic Protocols - Canetti (1998) (163 citations) (Correct)
....preserves security. Here we show that this is not the case. We remark that the various versions of [34] contain many important and enlightening observations, discussions, and examples regarding secure multi party protocols. We have benefited a lot from reading this work, as well as from attending [35]. On top of a general definition of security of protocols, Beaver [2] states a sequential composition theorem. That is, if secure protocols are invoked one after the other, the inputs for each are the local outputs from the previous one, then the resulting protocol securely computes the composed ....
S. Micali, advanced class on cryptographic protocols, given at MIT, Spring 1996.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC