@Article{EAA10b,
author={M. Elboukhari and A. Azizi and M. Azizi},
title={Analysis of the Security of {BB84} by Model Checking},
journal={International journal of Network Security \& Its Applications},
year={2010},

volume={2},
number={2},
pages={},
publisher={},
month={},
note={},
key={}
}