认证协议的有向图模型及其安全性分析
인증협의적유향도모형급기안전성분석
A Directed Graph Model of the Authentication Protocols and its Security Analysis
저자의 최근 논문