...
机译:信号消息传递协议的正式安全分析
CISPA Helmholtz Ctr Informat Secur Saarbrucken Germany;
Swiss Fed Inst Technol Zurich Switzerland;
Cisco Syst San Jose CA USA;
Univ Waterloo Waterloo ON Canada;
机译:安全证明对关键建立协议的重要性对Jan-Chen,Yang-Shen-Shieh,Kim-Huh-Hwang Lee,Lin-Sun-Hwang和Yeh-Sun协议进行形式分析
机译:电子支付协议安全性分析的形式化方法
机译:NFC移动优惠券协议安全性分析的正式框架
机译:信号消息传送协议的形式安全性分析
机译:用于车辆通信控制的双重体系结构方法:容纳的设备网关和智能数据总线,信号电路分析和消息安全协议。
机译:802.11s无线网状网络路由协议及其安全路由协议的安全性分析
机译:密钥建立协议安全性证明的重要性:Jan-Chen,Yang-Shen-Shieh,Kim-Huh-Hwang-Lee,Lin-Sun-Hwang和Yeh-Sun协议的形式分析
机译:国防部(国防部)消息协议报告。第二卷。邮件传输协议要求分析