Analysis of Quantum Cryptography Protocols by Model Checking.
Saved in:
| Title: | Analysis of Quantum Cryptography Protocols by Model Checking. |
|---|---|
| Authors: | Elboukhari, Mohamed1, elboukharimohamed@gmail.com, Azizi, Mostafa2, azizi.mos@gmail.com, Azizi, Abdelmalek1,3, abdelmalekazizi@yahoo.fr |
| Source: | International Journal of Universal Computer Science; 2010, Vol. 1 Issue 1, p34-40, 7p, 1 Chart, 2 Graphs |
| Database: | Applied Science & Technology Source |
| ISSN: | 17379296 |
|---|
