An Efficient Semi-Quantum Key Distribution Protocol and Its Security Proof | IEEE Journals & Magazine | IEEE Xplore