Integration and formal security analysis of a quantum key distribution scheme within CHAP protocol | IEEE Conference Publication | IEEE Xplore