基于结构化操作语义的安全协议分析框架研究
기우결구화조작어의적안전협의분석광가연구
A New Framework Based on Structural Operational Semantics for Analyzing Security Protocol
저자의 최근 논문