...
机译:用于多方面安全协议分析的符号框架
Dipartimento di Informatica University of Pisa Largo B. Pontecorvo 3 56100 Pisa Italy;
Dipartimento di Informatica University of Pisa Largo B. Pontecorvo 3 56100 Pisa Italy;
Computer Science Department University of Leicester University Road Leicester LE1 7RH UK;
Formal verification; Security protocols; Symbolic model checking; Automated verification tools;
机译:用于多方面安全协议分析的符号框架
机译:分析安全协议中物理邻近性的符号框架
机译:分析安全协议中物理邻近性的符号框架
机译:安全协议中的定时攻击:符号框架和证明技术
机译:基于信誉的Internet协议安全性:用于移动自组织网络的多层安全框架。
机译:802.11s无线网状网络路由协议及其安全路由协议的安全性分析
机译:TamaRIN prover用于安全协议的符号分析