安全协议扩展Petri网模型及检测
안전협의확전Petri망모형급검측
Extended Petri Nets Model and Detection of Security Protocols
저자의 최근 논문