Journal of the Korea Institute of Information Security & Cryptology (정보보호학회논문지)

Korea Institute of Information Security and Cryptology (한국정보보호학회)
권호 표지
DOI QR코드

DOI QR Code

Design and Verification of Intrusion Detectioned Electronic Payment Protocol by Petri Net

페트리네트를 이용한 침입탐지 전자지불 프로토콜의 설계와 검증

  • 유은진 (숭실대학교 정보과학대학 컴퓨터학부)
  • Published : 2000.03.01
Download PDF
⟨ Previous Next ⟩

Abstract

본 논문은 인터넷 상에서 전자상거래가 이루어지는데 기본적으로 요구되는 보안성을 강화하기 위해 침입탐지 전자지불 프로토콜을 제안하였다. 여기서 침입탐지 기능이란 저보 전송이 이루어지는 순간마다 침입이 발생하였는지 탐지하도록 하므로써 신속한 탐지가 이루어지도록 하는 기능을 말한다. 제안된 침입탐지 전자지불 프로토콜의 타당성, 안정성을 분석하기 위해 페트리네트와 CPN(Coloured PetriNet)을 이용하여 모델링하였다. 또한 암호화 논리의 유용한 검증 도구로서 BAN(Burrows-Abadi-Needham)논리 시스템과 Kailar 논리 시스템을 이용하여 프로토콜의 타당성과 안정성을 확인 ·검증하였다.

Keywords

References

  1. MTR-2547 v.Ⅱ Secure Computer Systems: A Mathematical Model Bell, D.E.;LaPadula, L.J.
  2. In Proceedings of the First USENIX Workshop in Electronic Commerce NetBil Security and Transaction Protocol Benjamin Cox;J. D. Tygar;Marvin Sirbu
  3. Fast, Automatic Checking of Security Protocol D. Kindred;J. M. Wing
  4. In IEEE Transactions on Software Engineering no.2 An Intrusion Detection Model Dorothy E. Denning
  5. Proceedings of the Second USENIX Workshop on Electronic Commerce Agora : A Minimal Distributed Protocol for Electronic Commerce E. Gabber;Abraham Silberschatz
  6. Model Checking Electronic Commerce Protocols J. D. Tygar;J. Wing;H. Chi Wong
  7. High-level Petri net : Theory and Application K. Jensen;G. Rozenberg
  8. Analysis Methods and Practical Use v.1 Coloured Petri Nets : Basic Concepts K Jensen
  9. This work was supported in part by Defence Advanced Research Project Agency(ARPA) Model Checking Electronic Commerce Protocols N. Heintze;J. D. Tygar;J. Wing;H. C. Wong
  10. IEEE Transactions on Software Engineering v.22 no.5 Accountability in electronic commerce protocols Rajashekar Kailar
  11. Dept. of Computer Science A User's Manual for the UNISEX System R. A. Kemmerer;S. T. Eckmann
  12. Applied Mathematics Dep. Rehovot Payword and Micromint:Two Simple Micropayment Schemes R. S. Rivest;A. Shamir
  13. An Application of Pattern Matching in Intrusion Detection Sandeep Kumar Eugene H. Spafford
  14. Cryptomathic Electronic Payments of Small Amounts T. P. Pedersen
  15. 전자화폐 전쟁 이와사키 가즈오;사토 모토노리(공저);김현일(옮김)
  16. 전자화페와 결제 시스템 탁승호