Formal Verification of PKMv3 Protocol Using DT-Spin.

Xiaoran Zhu, Yuanmin Xu, Jian Guo, Xi Wu, Huibiao Zhu, Weikai Miao

Browse the full TASE paper archive.