Integration and formal security analysis of a quantum key distribution scheme within CHAP protocol

摘要: In a security context, to render cryptosystem more resistant against man-in-the-middle and impersonation attacks, an authentication mechanism has be considered. CHAP protocol (Challenge Handshake Authentication Protocol) is among the most widely spread technique used within Local Area Networks. To offer greater robustness privacy, we intend through our present paper introduce new quantum extension of that integrates cryptography takes advantage its benefits such as eavesdropping detection, random secret key generation unconditional security. A scheme using previously shared entangled qubits pairs with unitary operators ensure agreement mutual performed. analyze proposed protocol, use PRISM tool model checker. We particularly focus on property minimizing quantity information about enemy can obtain from applying “man in middle” attack. If act parameters channel eavesdropper, prove this affected by varying efficiency well power enemy. More interestingly, show could never able retrieve value key.