Yongjian Li, Xiaoyu Song, Xiaojuan Li. On the Formal Modeling of Inductive Verification for Cryptographical 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 201-206, IEEE, 2012. [doi]
Abstract is missing.