General Security Definition and Composability for Quantum & Classical   Protocols
  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 the result in a new model which is well adapted to quantum protocols. We also simplify some aspects of the classical case. In particular, the case of protocols with an arbitrary number of layers of sub-protocols is naturally covered in the proposed model. 
Michael Ben-Or (Hebrew University) and Dominic Mayers (Caltech)