인증 및 키 분배 프로토콜의 논리성 검증을 위한 ASVO 로직

Vol. 13, No. 5, pp. 17-38, 10월. 2003
10.13089/JKIISC.2003.13.5.17, Full Text:
Keywords:
Abstract

본 논문에서는 인증 및 키 분배 프로토콜에 대한 논리성 검증을 위한 ASVO 로직을 제안한다. ASVO 로직은 기존의 인증 로직 중 하나인 SVO 로직에 대해서 자동 검증을 고려하여 변형 설계한 로직이다. ASVO 로직은 구문적/의미적 구조의 안전성을 갖는 로직으로서. 비교적 간소화된 증명 단계를 갖는다. 또한 Isabelle/Isar 시스템을 이용하여 구현된 Isabelle/ASVO 시스템은 ASVO 로직을 통한 반자동 검증을 지원한다.

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]
권태경, 임선간, 박해룡, "Automation-considered SVO Logic for Verifying Authentication and Key Distribution Protocols," Journal of The Korea Institute of Information Security and Cryptology, vol. 13, no. 5, pp. 17-38, 2003. DOI: 10.13089/JKIISC.2003.13.5.17.

[ACM Style]
권태경, 임선간, and 박해룡. 2003. Automation-considered SVO Logic for Verifying Authentication and Key Distribution Protocols. Journal of The Korea Institute of Information Security and Cryptology, 13, 5, (2003), 17-38. DOI: 10.13089/JKIISC.2003.13.5.17.