|
[EAA08]
M. Elboukhari, A. Azizi and M. Azizi.
Security Oriented Analysis of B92 by Model Checking.
In Proc. New Technologies, Mobility and Security (NTMS'08), pages 1-6, IEEE.
2008.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|