암호프로토콜 논리성 검증도구 개발에 관한 연구
The Korea Institute of Information Security and Cryptology,
Vol. 12, No. 2, pp. 62-76,
Apr.
2002
Full Text:
Statistics
Cite this article
Full Text:
![](https://d2kjln74dkk4oj.cloudfront.net/img/pdficon_small.png)
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.
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]
권태경, 김승주, 송보연, "Towards Developing Formal Verification Tools for Cryptographic Protocols," The Korea Institute of Information Security and Cryptology, vol. 12, no. 2, pp. 62-76, 2002.
[ACM Style]
권태경, 김승주, and 송보연. 2002. Towards Developing Formal Verification Tools for Cryptographic Protocols. The Korea Institute of Information Security and Cryptology, 12, 2, (2002), 62-76.