基于GSPM的安全协议检验工具
기우GSPM적안전협의검험공구
Verification Tool for Security Protocol Based on GSPM
저자의 최근 논문