Formalization and Verification of the PKMv3 Protocol Using CSP.

Yuanmin Xu, Huibiao Zhu, Xiaoran Zhu, Xi Wu, Jian Guo, Gang Lu

Browse the full COMPSAC paper archive.