How to cite this article:
Jia Mei, Huaikou Miao and Pan Liu, 2009. Applying SMV for Security Protocol Verification. Information Technology Journal, 8: 1065-1070.
DOI: 10.3923/itj.2009.1065.1070
URL: https://scialert.net/abstract/?doi=itj.2009.1065.1070
|