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

Vol. 10, No. 1, pp. 23-38, 2월. 2000
10.13089/JKIISC.2000.10.1.23, Full Text:
Keywords: intrusion-derectioned electronic payment protocol, Petri Net, CPN
Abstract

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

Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from December 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
유은진, "Design and Verification of Intrusion Detectioned Electronic Payment Protocol by Petri Net," Journal of The Korea Institute of Information Security and Cryptology, vol. 10, no. 1, pp. 23-38, 2000. DOI: 10.13089/JKIISC.2000.10.1.23.

[ACM Style]
유은진. 2000. Design and Verification of Intrusion Detectioned Electronic Payment Protocol by Petri Net. Journal of The Korea Institute of Information Security and Cryptology, 10, 1, (2000), 23-38. DOI: 10.13089/JKIISC.2000.10.1.23.