Fair certified E-mail Protocols with delivery deadline agreement

被引：0

作者：

Park, Y ^{[1
]}

Cho, Y ^{[1
]}

机构：

[1] Seoul Natl Univ, Dept Comp Sci & Engn, Seoul 151742, South Korea

来源：

COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2004, PT 1 | 2004年 / 3043卷

关键词：

digital signature; electronic mail; encryption;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

A certified e-mail system guarantees that a mail originator gets a receipt if and only if a recipient receives mail content. Unlike the previous schemes, the optimistic protocols that were recently proposed have some drawbacks: mail receiving can be delayed indefinitely or the originator can place the blame on the. recipient for not having received the mail. In this paper, we point out some shortcomings in the optimistic protocols and improve them by introducing deadline agreement of mail delivery. We modelled the original protocols and the improved schemes by using ATS (Alternating Transition System) and verified them by using MOCHA, a model checker. MOCHA showed that the improved protocols do not have the shortcomings of the original schemes.

引用

页码：978 / 987

页数：10

共 50 条

[1] Analysis and improvement of fair certified e-mail delivery protocol
Ma, CS
Li, SQ
Chen, KF
Liu, SL
[J]. COMPUTER STANDARDS & INTERFACES, 2006, 28 (04) : 467 - 474
[2] Efficient fair certified e-mail delivery based on RSA
Zhang, ZF
Feng, DG
[J]. PARALLEL AND DISTRIBUTED PROCESSING AND APPLICATIONS - ISPA 2005 WORKSHOPS, 2005, 3759 : 368 - 377
[3] Efficient identity-based protocol for fair certified e-mail delivery
Zhang, ZF
Xu, J
Feng, DG
[J]. CRYPTOLOGY AND NETWORK SECURITY, PROCEEDINGS, 2005, 3810 : 200 - 210
[4] A certified e-mail protocol
Schneier, B
Riordan, J
[J]. 14TH ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE, PROCEEDINGS, 1998, : 347 - 352
[5] An Optimistic Certified E-mail Protocol for the Current Internet E-mail Architecture
Draper-Gil, Gerard
Ferrer-Gomila, Josep L.
Hinarejos, M. Francisca
Tauber, Arne
[J]. 2014 IEEE CONFERENCE ON COMMUNICATIONS AND NETWORK SECURITY (CNS), 2014, : 382 - 390
[6] On the security of a certified E-mail scheme
Wang, GL
Bao, F
Zhou, JY
[J]. PROGRESS IN CRYPTOLOGY - INDOCRYPT 2004, PROCEEDINGS, 2004, 3348 : 48 - 60
[7] A certified e-mail system with receiver's selective usage of delivery authority
Imamoto, K
Sakurai, K
[J]. PROGRESS IN CRYPTOLOGY - INDOCRYPT 2002, PROCEEDINGS, 2002, 2551 : 326 - 338
[8] The Analysis and Improvement of the Certified E-Mail Protocol
Ye, Junyao
Wang, Yinglian
[J]. APPLIED SCIENCE, MATERIALS SCIENCE AND INFORMATION TECHNOLOGIES IN INDUSTRY, 2014, 513-517 : 1305 - 1308
[9] AnZenMail: A secure and certified e-mail system
[J]. 1600, Japanese Ministry of Education, Science and Culture; Japanese Society for the Promotion of Science; Keio University; National Science Foundation (Springer Verlag):
[10] Analysis and improvement of a certified e-mail protocol
Gao, Yue-Xiang
Peng, Dai-Yuan
Yan, Li-Li
[J]. Dianzi Keji Daxue Xuebao/Journal of the University of Electronic Science and Technology of China, 2013, 42 (02): : 300 - 305

← 1 2 3 4 5 →