Applications of quantum universal composability theorem

The quantum universal composability theorem will first be reviewed. Next, applications to a new security definition of QKD and security proofs will be given. Finally, we prove composable security for various variants of the quantum message authentication scheme proposed in quant-ph/0205128 with key recycling.