• Model Checking Quantum Key Dis...

Treffer: Model Checking Quantum Key Distribution Protocols

Title:
Model Checking Quantum Key Distribution Protocols
Authors:
Huang, Baichuan, Huang, Yan, Kong, Jiaming, Huang, Xin
Source:
2016 8th International Conference on Information Technology in Medicine and Education (ITME) ITME Information Technology in Medicine and Education (ITME), 2016 8th International Conference on. :611-615 Dec, 2016
Relation:
2016 8th International Conference on Information Technology in Medicine and Education (ITME)
Database:
IEEE Xplore Digital Library