Security proof methods for quantum key distribution protocols