Kun Wei, James Heather Towards Verification of Timed Non-repudiation Protocols. [Citation Graph (0, 0)][DBLP] Formal Aspects in Security and Trust, 2005, pp:244-257 [Conf]
Kun Wei, James Heather A Theorem-Proving Approach to Verification of Fair Non-repudiation Protocols. [Citation Graph (0, 0)][DBLP] Formal Aspects in Security and Trust, 2006, pp:202-219 [Conf]