cryptographic protocols; formal methods; rewriting; unification;
机译:基于重写理论规范的电子护照安全协议的形式分析
机译:单项方程理论的符号协议分析
机译:安全证明对关键建立协议的重要性对Jan-Chen,Yang-Shen-Shieh,Kim-Huh-Hwang Lee,Lin-Sun-Hwang和Yeh-Sun协议进行形式分析
机译:Maude-NPA和等式理论的协议正式分析
机译:方程式统一及其在密码协议形式验证中的应用
机译:从麦克斯韦方程到电流源密度分析理论
机译:Maude-npa:密码协议分析的模方程式属性
机译:扩展组协议和低级加密基元的正式密码协议分析技术