Provably Secure Three-Party Authenticated Quantum Key Distribution Protocols | IEEE Journals & Magazine | IEEE Xplore