Security proof of a semi-quantum key distribution protocol | IEEE Conference Publication | IEEE Xplore