Formal Verification of PKMv3 Protocol Using DT-Spin - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xiaoran Zhu, Yuanmin Xu, Jian Guo, Xi Wu, Huibiao Zhu, Weikai Miao. Formal Verification of PKMv3 Protocol Using DT-Spin. In 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015. pages 71-78, IEEE Computer Society, 2015. [doi]

This author has not been identified. Look up 'Xiaoran Zhu' in GoogleThis author has not been identified. Look up 'Yuanmin Xu' in GoogleThis author has not been identified. Look up 'Jian Guo' in GoogleThis author has not been identified. Look up 'Xi Wu' in GoogleThis author has not been identified. Look up 'Huibiao Zhu' in GoogleThis author has not been identified. Look up 'Weikai Miao' in Google

runs on WebDSL