Upgrade of a quantum scheme for authentication and key distribution along with a formal verification based on model checking technique.

Saved in:

Bibliographic Details
Title:	Upgrade of a quantum scheme for authentication and key distribution along with a formal verification based on model checking technique.
Authors:	Ghilen, Aymen¹, Azizi, Mostafa², Bouallegue, Ridha³
Source:	Security & Communication Networks; Dec2016, Vol. 9 Issue 18, p4949-4956, 8p
Database:	Applied Science & Technology Source

Description
ISSN:	19390114
DOI:	10.1002/sec.1666