페트리네트를 이용한 침입탐지 전자지불 프로토콜의 설계와 검증
-
유은진,
10.13089/JKIISC.2000.10.1.23, Full Text:
Keywords: intrusion-derectioned electronic payment protocol, Petri Net, CPN
Abstract Statistics
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.