Analysis and Improvement of a Certified E-Mail Protocol
doi: 10.3969/j.issn.1001-0548.2013.02.023
- Received Date: 2011-08-04
- Rev Recd Date: 2012-12-03
- Publish Date: 2013-04-15
-
Key words:
- certified e-mail protocol /
- compositional analysis /
- Kailar logic /
- non-repudiation
Abstract: The security attributes of certified e-mail protocol include confidentiality, non-repudiation, fairness. Aiming at to remedy the lack of confidentiality and non-repudiation of the a typical certified mail protocol, an improved certified mail protocol with transparent semi-trusted third party is proposed. To improve the protocol efficiency, a method applying Kailar logic in compositional analysis is proposed for analyzing the improved protocol. The analysis results indicate the improved protocol can meet confidentiality and non-repudiation.
Citation: | GAO Yue-xiang, PENG Dai-yuan, YAN Li-li. Analysis and Improvement of a Certified E-Mail Protocol[J]. Journal of University of Electronic Science and Technology of China, 2013, 42(2): 300-305. doi: 10.3969/j.issn.1001-0548.2013.02.023 |