Modeling and Verifying the Ariadne Protocol Using CSP

Xi Wu, Si Liu, Huibiao Zhu, Yongxin Zhao, Lei Chen. Modeling and Verifying the Ariadne Protocol Using CSP. In Miroslav Popovic, Bernhard Sch├Ątz, Sebastian Voss, editors, IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems, ECBS 2012, Novi Sad, Serbia, April 11-13, 2012. pages 24-32, IEEE, 2012. [doi]

Abstract

Abstract is missing.