암호프로토콜 논리성 자동 검증에 관한 연구
Vol. 13, No. 1, pp. 115-130,
2월.
2003
10.13089/JKIISC.2003.13.1.115,
Full Text:
Keywords: 인증 프로토콜, 프로토콜 분석, 인증 로직
Abstract Statistics
Cite this article
![](https://d2kjln74dkk4oj.cloudfront.net/img/doi_icon.png)
![](https://d2kjln74dkk4oj.cloudfront.net/img/pdficon_small.png)
Keywords: 인증 프로토콜, 프로토콜 분석, 인증 로직
Abstract Statistics
Cite this article
[IEEE Style]
권태경, 양숙현, 김승주, 임선간, "An Experimental Study on the Semi-Automated Formal Verification of Cryptographic Protocols," Journal of The Korea Institute of Information Security and Cryptology, vol. 13, no. 1, pp. 115-130, 2003. DOI: 10.13089/JKIISC.2003.13.1.115.
[ACM Style]
권태경, 양숙현, 김승주, and 임선간. 2003. An Experimental Study on the Semi-Automated Formal Verification of Cryptographic Protocols. Journal of The Korea Institute of Information Security and Cryptology, 13, 1, (2003), 115-130. DOI: 10.13089/JKIISC.2003.13.1.115.