A Non-Repudiation E-Mail Transmission Protocol and its Formal Analysis
In order to reduce the amount of data exchange in E-mail transmission process, a non-repudiation E-mail transmission protocol was proposed based on the digital signature technology. By using the formal analysis based on the extended strand space method, strict authentication and analysis were conducted for the security of data transmission and the identity of both the transmitter and receiver. Furthermore, the safety and effectiveness of this protocol were verified.
Keon Myung Lee, Prasad Yarlagadda and Yang-Ming Lu
Z. M. Ren et al., "A Non-Repudiation E-Mail Transmission Protocol and its Formal Analysis", Applied Mechanics and Materials, Vols. 462-463, pp. 984-988, 2014