SET协议形式化模型的建立和安全性分析
SET협의형식화모형적건립화안전성분석
FORMAL MODEL ESTABLISHMENT AND SECURITY ANALYSIS FOR SET PROTOCOL
저자의 최근 논문