Jia Mei
School of Computer Engineering and Science, Shanghai University, Shanghai, China
Huaikou Miao
School of Computer Engineering and Science, Shanghai University, Shanghai, China
Pan Liu
School of Computer Engineering and Science, Shanghai University, Shanghai, China
PDF Fulltext XML References Citation
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
DOI: 10.3923/itj.2009.1065.1070
URL: https://scialert.net/abstract/?doi=itj.2009.1065.1070