机译:分层证明树的概念及其在安全协议验证自动化中的应用
Data Communication Security Laboratory, Department of Electronic and Computer Engineering, University of Limerick, Ireland;
security protocols; logic-based verification of security protocols; automated protocol verification; cryptography; cryptographic protocols;
机译:使用分层证明树对无线安全协议进行自动验证
机译:验证分层安全协议
机译:在计算模型中使用Crypto Verif对传输层安全1.2协议的安全属性进行机械化验证
机译:分层安全协议的建模和验证:银行应用程序
机译:分层通讯协议的规范,组成和自动验证。
机译:关于蓝牙标准v5.0中的安全简单配对-第I部分:认证的链路密钥安全性及其家庭自动化和娱乐应用
机译:分层证明树的概念及其在安全协议验证自动化中的应用