安全协议UML模型的SPIN分析
안전협의UML모형적SPIN분석
Analysis for UML Model of Security Protocols Using SPIN
저자의 최근 논문