Yuanmin Xu, Huibiao Zhu, Xiaoran Zhu, Xi Wu, Jian Guo, Gang Lu. Formalization and Verification of the PKMv3 Protocol Using CSP. In Sorel Reisman, Sheikh Iqbal Ahamed, Claudio Demartini, Thomas M. Conte, Ling Liu 0001, William R. Claycomb, Motonori Nakamura, Edmundo Tovar, Stelvio Cimato, Chung-Horng Lung, Hiroki Takakura, Ji-Jiang Yang, Toyokazu Akiyama, Zhiyong Zhang 0002, Kamrul Hasan, editors, 41st IEEE Annual Computer Software and Applications Conference, COMPSAC 2017, Turin, Italy, July 4-8, 2017. Volume 1. pages 499-504, IEEE Computer Society, 2017. [doi]
@inproceedings{XuZZWGL17,
title = {Formalization and Verification of the PKMv3 Protocol Using CSP},
author = {Yuanmin Xu and Huibiao Zhu and Xiaoran Zhu and Xi Wu and Jian Guo and Gang Lu},
year = {2017},
doi = {10.1109/COMPSAC.2017.133},
url = {https://doi.org/10.1109/COMPSAC.2017.133},
researchr = {https://researchr.org/publication/XuZZWGL17},
cites = {0},
citedby = {0},
pages = {499-504},
booktitle = {41st IEEE Annual Computer Software and Applications Conference, COMPSAC 2017, Turin, Italy, July 4-8, 2017. Volume 1},
editor = {Sorel Reisman and Sheikh Iqbal Ahamed and Claudio Demartini and Thomas M. Conte and Ling Liu 0001 and William R. Claycomb and Motonori Nakamura and Edmundo Tovar and Stelvio Cimato and Chung-Horng Lung and Hiroki Takakura and Ji-Jiang Yang and Toyokazu Akiyama and Zhiyong Zhang 0002 and Kamrul Hasan},
publisher = {IEEE Computer Society},
isbn = {978-1-5386-0367-3},
}