基于环境敏感互模拟的Kerberos协议形式化分析
기우배경민감호모의적Kerberos협의형식화분석
Analysis of Kerberos Protocols Based on Environmental Sensitive Bisimulation Method
저자의 최근 논문