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

Aymen Ghilen, Mostafa Azizi, Ridha Bouallegue. Integration and formal security analysis of a quantum key distribution scheme within CHAP protocol. In 12th IEEE/ACS International Conference of Computer Systems and Applications, AICCSA 2015, Marrakech, Morocco, November 17-20, 2015. pages 1-7, IEEE, 2015. [doi]

Abstract

Abstract is missing.