A new SSL/TLS conversation within OpenVPN based on a quantum scheme for authentication and key agreement

Aymen Ghilen, Mostafa Azizi, Hafedh Belmabrouk, Ridha Bouallegue


The advent of the quantum computer is making the existing cryptosystems insecure and vulnerable. Upgrading the contemporary cryptographic schemes by integrating quantum cryptography becomes an interesting expectancy since its technology does not exploit difficult mathematical problems such as factoring large integers or computing discrete logarithms. In this context, we propose to integrate a quantum algorithm for authentication and encryption key distribution inside VPN tunnels. The quantum cryptographic solution relies on the laws of quantum physics to reach unconditional security. We basically focus on OpenVPN implementation. To investigate the security of the proposed approach, we use the technique of Model Checking and the Prism tool. We particularly examine the capability of a legitimate user to detect any eavesdropping attempt independently of its computational power. On the other hand, the amount of information on the key caught by a spy must be minimal.


Computer Science; ASDF Journals; ASDF; ASDF International; Journals; International; Human; Machine; Interaction

Full Text:



P. Wasankar1, P. D. Soni: An Invention of Quantum Cryptography over the Classical Cryptography for Enhancing Security, IJAIEM, Volume 2, Issue 2, pp. 243-246, February 2013.

C. H. Bennett and G. Brassard: Quantum Cryptography: Public Key Distribution and Coin Tossing, Proceedings of IEEE

International Conference on Computers, System and Signal Processing, Bangalore, pp. 175-179.

Eduin H. SERNA: Quantum Key Distribution From A Random Seed, arXiv:1311.1582v2 [quant-ph], November 2013.

idquantique : www.idquantique.com

S. Ghernaoutie-Helie, et al. , "QUANTUM CRYPTOGRAPHY: An Innovation in the Domain of Secure Information

Transmission", SECOQC Business White Paper, September 2008.

A. Ghilen, M. Azizi, R. Bouallegue, "Integration and formal security analysis of a quantum key distribution scheme within

CHAP protocol", Proc. of the 12th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA),

Marrakech/Morocco, November 2015.

A. Ghilen, M. Azizi, R. Bouallegue, "Integration of a quantum authenticated key distribution scheme in the EAP-TLS

protocol", Proc. of the 12th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA),

Marrakech/Morocco, November 2015.

Marta Kwiatkowska: Probabilistic model checking with PRISM , POPL 2015 tutorial, Mumbai, January 2015.

A. Ghilen, et al.: Classification of quantum authentication protocols and calculation of their complexity, Proc. of the 15th

International conference on Sciences and Techniques of Automatic control & computer engineering-STA, December 2014, pp 169-173.


  • There are currently no refbacks.

Copyright (c) 2016 DCRC (Digital CopyRights Center, UK)

© 2012 - 2016 : ASDF International