한국정보과학회논문지:컴퓨팅의 실제 및 레터 (Journal of KIISE:Computing Practices and Letters)

한국정보과학회 (Korean Institute of Information Scientists and Engineers)
권호 표지

수신 보장성이 향상된 공평한 배달 증명 전자 메일 프로토콜

A Fair Certified Electronic Mail Protocol that Enhances Guarantee of Reception

  • 박용수 (서울대학교 전기컴퓨터공학부) ;
  • 조유근 (서울대학교 전기컴퓨터공학부)
  • 발행 : 2003.02.01
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

배달 증명 전자 메일(certified e-mail)은 수신자가 메일을 받았을 때 그리고 그 때만 송신자가 0영수증을 받는 시스템이다. 최근에 발표된 낙관적(optimistic) 기법에서는 이전 방법과는 달리 메일이 언제든지 수신자에게 전달될 수 있는 상태가 되면 수신 영수증이 발행된다. 따라서, 송신자는 수신 영수증을 확보하였음에도 불구하고 수신자가 실제로 메일을 받았는지 여부를 알 수 없다. 본 논문에서는 최근에 발표된 낙관적 기법의 문제점을 지적한 후, 수신 의무 시간 개념을 도입하여 기존 프로토콜을 보완한 내용을 제시한다. 수정된 프로토콜에서는 영수증의 의미를 수신 약속으로 변경시켜 위에서 언급한 문제점을 해결했다. 제시된 기법은 대부분의 낙관적 기법에 적용 가능하며 프로토콜 수행에 필요한 메시지 수를 더 이상 늘리지 않아 기존 기법에 비해 추가되는 부담이 거의 없다.

Certified e-mail system guarantees that recipient will get mail content if and only if mall originator receives a receipt. Unlike previous schemes, Optimistic protocols recently published generate a receipt when it meets the condition that the mail content can be accessed by recliner at any time. So originator cannot assure the delivery of e-mail although he can get a receipt. In this paper, we show some flaws in optimistic protocols and propose improved schemes using delivery deadline. Modified protocols guarantee proof-of-receipt and eliminate the problem mentioned above. Furthermore, proposed modification technique can be applicable to most optimistic protocols and is efficient in the sense that modified schemes do not increase the number of messages.

키워드

참고문헌

  1. R. H. Deng, I. Gong, A. A. Lazar, and W. G. Wang, Practical protocols for certified electornic mail, Journal of Network and Systems Management, vol. 4, no. 3, pp. 279-297, 1996 https://doi.org/10.1007/BF02139147
  2. A. Bahreman, Certified electrornic mail, in Proceedings of Symposium on Network and Distributed Systems Security, pp. 3-19, 1994
  3. J. Zhou and D. Gollman, Certified electronic mail, in ESORICS'96, pp. 55-61, 1996
  4. B. Schneier and J. Riordan, A certified e-mail protocol, in ACSAC'98, pp. 232-238, 1998
  5. M. M. Puigserver and J. L. F. Gomila, Certified electronic mail protocol resistant to a minority of malicious third parties, in Infocom'00, pp. 1401-1405, 2000
  6. S. Micali, Simultaneous electronic transactions. technical report 566420, tech. rep., 1995
  7. G. Ateniese, B. Medeiros, and M. T. Goodrich, TRICERT: A distributed certified e-mail scheme, in NDSS'01, pp. 47-58, 2001
  8. D. K Pradhan, Fault-Tolerant Computer System Design, Prentice-Hall Inc., 1996
  9. N. Asokan, V. Schoup, and M. Waidner, Optimistic fair exchange of digital signatures, IEEE Journal on Selected Area in Communications, vol. 18, no. 4, pp. 593-610, 2000 https://doi.org/10.1109/49.839935
  10. N. Asokan, V. Schoup, and M. Waidner, Asynch ronous protocols for optimistic fair exchange, in IEEE Symposium on Research in Security and Privacy, pp. 86-99, 1998
  11. S. Even, O. Goldreich, and A. Lempel, A randomized protocol for signing contracts, in CRYPTO'82, pp. 205-210, 1982
  12. M. Ben-Or, O. Goldreich, S. Micali, and R. Rivest, A fair protocol for signing contracts, IEEE Transactions of Information Theory, vol. 36, no. 1, pp. 40-46, 1990 https://doi.org/10.1109/18.50372
  13. C. Boyd and P.Kearney, Exploring fair exchange protocols using specification animation, in ISW'2000, pp. 209-223, 2000
  14. S. Schneider, Formal analysis of a non-repudiation protocol, in CSFW'98, pp. 54-65, 1998 https://doi.org/10.1109/CSFW.1998.683155
  15. V. Shmatikov and J. Mitchell, Analysis of a fair exchange protocol, in NDSS'00, pp. 119-128, 2000
  16. S. Kremer and J.-F. Raskin, A Game-Based Verification of Non-Repudiation and Fair Exchange Protocols, in CONCUR'01, Accepted for pubication, 2001
  17. NDSS'00 Analysis of a fair exchange protocol V. Shmatikov;J.Mitchell
  18. CONCUR'01 A Game-Based Verification of Non-Repudiation and Fair Exchange Protocols S. Kremer;J.-F. Raskin