The Simplified Inductive Approach to Verifying Security Protocols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Wang Juan, Zhou Yajie, Zhang Huanguo. The Simplified Inductive Approach to Verifying Security Protocols. In Fei Yu, Qi Luo, Yongjun Chen, Zhigang Chen, editors, Proceedings of The International Symposium on Electronic Commerce and Security, ISECS 2008, August 3-5, 2008, Guangzhou, China. pages 523-526, IEEE Computer Society, 2008. [doi]

This author has not been identified. Look up 'Wang Juan' in GoogleThis author has not been identified. Look up 'Zhou Yajie' in GoogleThis author has not been identified. Look up 'Zhang Huanguo' in Google

runs on WebDSL