TY  - RPRT
TI  - Analysis of the Security of BB84 by Model Checking
AU  - Mohamed Elboukhari
AU  - Mostafa Azizi
AU  - Abdelmalek Azizi
PY  - 2010
DO  - 10.5121/ijnsa.2010.2207
UR  - https://arxiv.org/abs/1005.4504
ID  - 1005.4504
ER  -