Nimrod Megiddo
Journal of Symbolic Computation
We present general definitions of security for multiparty cryptographic protocols, with focus on the task of evaluating a probabilistic function of the parties' inputs. We show that, with respect to these definitions, security is preserved under a natural composition operation. The definitions follow the general paradigm of known definitions; yet some substantial modifications and simplifications are introduced. The composition operation is the natural "subroutine substitution" operation, formalized by Micali and Rogaway. We consider several standard settings for multiparty protocols, including the cases of eavesdropping, Byzantine, nonadaptive and adaptive adversaries, as well as the information-theoretic and the computational models. In particular, in the computational model we provide the first definition of security of protocols that is shown to be preserved under composition. © 2000 International Association for Cryplologic Research.
Nimrod Megiddo
Journal of Symbolic Computation
F. Odeh, I. Tadjbakhsh
Archive for Rational Mechanics and Analysis
Sonia Cafieri, Jon Lee, et al.
Journal of Global Optimization
Mario Blaum, John L. Fan, et al.
IEEE International Symposium on Information Theory - Proceedings