Game-Based Analysis of Multi-Party Non-Repudiation Protocols | IEEE Conference Publication | IEEE Xplore