암호 프로토콜의 정형적 사양 및 분석 기법
The Korea Institute of Information Security and Cryptology,
Vol. 5, No. 1, pp. 25-46,
3월.
1995
Full Text:
Statistics
Cite this article
Full Text:
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]
이진석, 신기수, 이강수, "Formal Specification & Analysis models for Cryptographic protocol," The Korea Institute of Information Security and Cryptology, vol. 5, no. 1, pp. 25-46, 1995.
[ACM Style]
이진석, 신기수, and 이강수. 1995. Formal Specification & Analysis models for Cryptographic protocol. The Korea Institute of Information Security and Cryptology, 5, 1, (1995), 25-46.