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]
@inproceedings{LiSL12-3,
title = {On the Formal Modeling of Inductive Verification for Cryptographical Protocols},
author = {Yongjian Li and Xiaoyu Song and Xiaojuan Li},
year = {2012},
doi = {10.1109/PDCAT.2012.104},
url = {http://dx.doi.org/10.1109/PDCAT.2012.104},
researchr = {https://researchr.org/publication/LiSL12-3},
cites = {0},
citedby = {0},
pages = {201-206},
booktitle = {13th International Conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT 2012, Beijing, China, December 14-16, 2012},
editor = {Hong Shen and Yingpeng Sang and Yidong Li and Depei Qian and Albert Y. Zomaya},
publisher = {IEEE},
isbn = {978-0-7695-4879-1},
}