1. Upgrade of a quantum scheme for authentication and key distribution along with a formal verification based on model checking technique. Issue 18 (26th October 2016) Authors: Ghilen, Aymen; Azizi, Mostafa; Bouallegue, Ridha Journal: Security and communication networks Issue: Volume 9:Issue 18(2016) Page Start: 4949 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗