Research Article
Applying SMV for Security Protocol Verification
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