Automated formal verification; Modal logics; Wireless communication; Security protocol;
机译:使用分层证明树对无线安全协议进行自动验证
机译:无线传感器网络的Ad Hoc路由协议的自动形式验证的综述
机译:自动验证所选安全协议的等效项
机译:无线安全协议自动验证的实证分析
机译:使用彩色Petri网自动进行Internet协议的安全性分析。
机译:802.11s无线网状网络路由协议及其安全路由协议的安全性分析
机译:加密协议实现的自动安全验证:验证Jessie项目