WAPI密钥管理协议的PCL证明
WAPI밀약관리협의적PCL증명
A Correctness Proof of WAPI Key Management Protocol Based on PCL
저자의 최근 논문