시간 페트리네트를 이용한 암호 프로토콜의 명세 및 분석 방법론A Specification and Analysis Methodology for Cryptographic Protocols Using Timed Petri Net
- Publisher
- 한국정보과학회
- Issue Date
- 1995-07
- Language
- Korean
- Citation
한국정보과학회 논문지, v.22, no.7, pp.1110 - 1123
- ISSN
- 1229-6821
- Appears in Collection
- CS-Journal Papers(저널논문)
- Files in This Item
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.