Modeling and Analyzing the (mu)TESLA Protocol Using CSP - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mengying Wang, Huibiao Zhu, Yongxin Zhao, Si Liu. Modeling and Analyzing the (mu)TESLA Protocol Using CSP. In Zhenhua Duan, C.-H. Luke Ong, editors, 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2011, Xi'an, China, 29-31 August 2011. pages 247-250, IEEE Computer Society, 2011. [doi]

This author has not been identified. Look up 'Mengying Wang' in GoogleThis author has not been identified. Look up 'Huibiao Zhu' in GoogleThis author has not been identified. Look up 'Yongxin Zhao' in GoogleThis author has not been identified. Look up 'Si Liu' in Google

runs on WebDSL