|
[EAA10a]
M. Elboukhari, A. Azizi and M. Azizi.
Analysis of Quantum Cryptography Protocols by Model Checking.
International Journal of Universal Computer Sciences, 1, pages 34-40.
2010.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|