| 한글제목(Korean Title) |
시간 페트리네트를 이용한 암호 프로토콜의 명세 및 분석 방법론 |
| 영문제목(English Title) |
A Specification Analysis Methodology for Cryptographic Protocols Using Timed Petri Net |
| 저자(Author) |
이강수
이진석
김광조
Gangsoo Lee
Jinseok Lee
Kwangjo Kim
|
| 원문수록처(Citation) |
VOL 22 NO. 07 PP. 1110 ~ 1123 (1995. 07) |
한글내용
(Korean Abstract) |
보안 시스템의 소프트웨어라 할 수 있는 암호 프로토콜은 시스템의 전체 보안성을 좌우하며 효과적인 명세와 분석방법론이 요구된다. 본 논문에서는 시간 페트리네트를 기반으로 하는 CTPN(Crypto-graphic Timed Petri Net)과 CTPN언어 모형을 이용하여 기존의 암호 프로토콜을 명세하고, 안전성, 지연시간 및 피 공격 가능성을 분석하는 방법론을 분석 지원도구와 함께 제시힌다. 제시된 모형은 기존의 모형들의 문제점들을 해결할 수 있으며, 암호 프로토콜의 명세와 분석과정에서 일관적으로 사용되며, 수행 가능적, 정형적 및 시각성이 있는 모형이다.
|
영문내용
(English Abstract) |
A cryptographic protocol. regarded as software of cryptographic system. plays an important role in the overall security of the system. Thus, an efficient specification and analysis methodology for the protocol is strongly required.
In this paper, wesuggest methodologies of specification, security analysis, delay analysis and attackability analysis of cryptographic protocols alogn with a supproting tool. The proposed methodology is based on timed Petri net based models. such as CTPN (Cryptographic Timed Petri Net). CTPN-language. and CTPN-analyzer. The CTPN models are consistenntly used in specification phase and analysis phases of cryptographic protocol. The models, relaxing drawbacks of conventional models, are executable, formal and visual specification and analysis models.
|
| 키워드(Keyword) |
|
| 파일첨부 |
PDF 다운로드
|
