인증 및 키 분배 프로토콜의 논리성 검증을 위한 ASVO 로직
Vol. 13, No. 5, pp. 17-38,
10월.
2003
10.13089/JKIISC.2003.13.5.17, Full Text:
Keywords:
Abstract Statistics
Cite this article
10.13089/JKIISC.2003.13.5.17, Full Text:
Keywords:
Abstract Statistics
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.