Design and formal analysis of a new Fair Multi-Party Certified Mail Protocol. - Yue-Xiang Gao; Dai-Yuan Peng; Li-Li Yan (ICMLC, 2010)