Security Proof of a Semi-Quantum Key Distribution Protocol - Walter O. Krawec (Quantum Information Processing, 2014)