General Security Definition and Composability for Quantum & Classical Protocols

Michael Ben-Or, Dominic Mayers

We generalize the universally composable definition of Canetti to the Quantum World. The basic idea is the same as in the classical world. The main contribution is that we unfold t…