Yonggen Gu, Yuxi Fu, Guoqiang Li. A Simple Process Calculus for the analysis of Security Protocols. In Sixth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2005), 5-8 December 2005, Dalian, China. pages 110-114, IEEE Computer Society, 2005. [doi]