Formal Verification of PKMv3 Protocol Using DT-Spin

Xiaoran Zhu, Yuanmin Xu, Jian Guo, Xi Wu, Huibiao Zhu, Weikai Miao. Formal Verification of PKMv3 Protocol Using DT-Spin. In 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015. pages 71-78, IEEE Computer Society, 2015. [doi]

@inproceedings{ZhuXGWZM15,
  title = {Formal Verification of PKMv3 Protocol Using DT-Spin},
  author = {Xiaoran Zhu and Yuanmin Xu and Jian Guo and Xi Wu and Huibiao Zhu and Weikai Miao},
  year = {2015},
  doi = {http://dx.doi.org/10.1109/TASE.2015.20},
  researchr = {https://researchr.org/publication/ZhuXGWZM15},
  cites = {0},
  citedby = {0},
  pages = {71-78},
  booktitle = {2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015},
  publisher = {IEEE Computer Society},
  isbn = {978-1-4673-7612-9},
}