Design and formal analysis of a new Fair Multi-Party Certified Mail Protocol.

Yue-Xiang Gao, Dai-Yuan Peng, Li-Li Yan

Browse the full ICMLC paper archive.