  We propose various new techniques in quantum information theory, including a
de Finetti style representation theorem for finite symmetric quantum states. As
an application, we give a proof for the security of quantum key distribution
which applies to arbitrary protocols.
