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]
No references recorded for this publication.
No citations of this publication recorded.