Design and formal analysis of a new Fair Multi-Party Certified Mail Protocol | IEEE Conference Publication | IEEE Xplore