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]