基于有色Petri网模型的安全协议检测方法
기우유색Petri망모형적안전협의검측방법
An Method of Checking Security Protocols Based on CPN Models
저자의 최근 논문