보안기능의 정형화 설계
The Korea Institute of Information Security and Cryptology,
Vol. 10, No. 3, pp. 13-26,
Sep.
2000
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 for Secure Functions," The Korea Institute of Information Security and Cryptology, vol. 10, no. 3, pp. 13-26, 2000.
[ACM Style]
유희준, 최진영, 서동수, 노병규, and 김우곤. 2000. Formal Specification for Secure Functions. The Korea Institute of Information Security and Cryptology, 10, 3, (2000), 13-26.