Frédéric Gava, Arthur Hidalgo, Jean Fortin. Mechanised Verification of Distributed State-Space Algorithms for Security Protocols. In Hong Shen, Yingpeng Sang, Yidong Li, Depei Qian, Albert Y. Zomaya, editors, 13th International Conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT 2012, Beijing, China, December 14-16, 2012. pages 311-316, IEEE, 2012. [doi]
Abstract is missing.