School of Computer Science University of Birmingham Birmingham UK;
机译:安全证明对关键建立协议的重要性对Jan-Chen,Yang-Shen-Shieh,Kim-Huh-Hwang Lee,Lin-Sun-Hwang和Yeh-Sun协议进行形式分析
机译:电子支付协议安全性分析的形式化方法
机译:NFC移动优惠券协议安全性分析的正式框架
机译:跟踪协议的ERTMS列车的正式安全分析
机译:安全协议的形式分析:协议组成逻辑。
机译:802.11s无线网状网络路由协议及其安全路由协议的安全性分析
机译:攻击ERTMS列车中的消息认证到追踪通信协议
机译:正式生成自适应安全协议。