Formal Verification and Improvement of the PKMv3 Protocol Using CSP.

Jinpeng Jiang, Hongyan Mao, Rumeng Shao, Yuanmin Xu

Browse the full COMPSAC paper archive.