Automatic Verification of Web Service Protocols for Epistemic Specifications under Dolev-Yao Model - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Qingliang Chen, Kaile Su, Chanjuan Liu, Yinyin Xiao. Automatic Verification of Web Service Protocols for Epistemic Specifications under Dolev-Yao Model. In International Conference on Service Sciences, ICSS 2010, Hangzhou, Zhejiang, China, 13-14 May, 2010. pages 49-54, IEEE, 2010. [doi]

This author has not been identified. Look up 'Qingliang Chen' in GoogleThis author has not been identified. Look up 'Kaile Su' in GoogleThis author has not been identified. Look up 'Chanjuan Liu' in GoogleThis author has not been identified. Look up 'Yinyin Xiao' in Google

runs on WebDSL