Modeling of Security Protocol Based on SMV and Type Flaw Attack Discovery

• 基于SMV的安全协议建模及类型缺陷攻击发现