Volume 42 Issue 2
Apr.  2017
Article Contents

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
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

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
  • 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.
  • 加载中
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Article Metrics

Article views(3563) PDF downloads(31) Cited by()

Related
Proportional views

Analysis and Improvement of a Certified E-Mail Protocol

doi: 10.3969/j.issn.1001-0548.2013.02.023

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.

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
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

Catalog

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return