机译:用于多方面安全协议分析的符号框架
formal verification; security protocols; symbolic model checking; automated verification tools; CRYPTOGRAPHIC PROTOCOLS; SPI CALCULUS; PI-CALCULUS; EXPONENTIATION; PRODUCTS;
机译:用于多方面安全协议分析的符号框架
机译:分析安全协议中物理邻近性的符号框架
机译:分析安全协议中物理邻近性的符号框架
机译:安全协议中的定时攻击:符号框架和证明技术
机译:基于信誉的Internet协议安全性:用于移动自组织网络的多层安全框架。
机译:802.11s无线网状网络路由协议及其安全路由协议的安全性分析
机译:TamaRIN prover用于安全协议的符号分析