...
机译:基于认证事件逻辑的安全协议自动分析新方法
East China Jiaotong University, China;
机译:基于认证事件逻辑的安全协议自动分析新方法
机译:基于认证事件逻辑的安全协议自动分析新方法
机译:基于机器学习的身份验证和关键协议协议的安全性分析方案
机译:两要素和两通道身份验证协议的形式化建模和自动安全性分析
机译:安全协议的形式分析:协议组成逻辑。
机译:物联网设备安全:挑战基于物理不可克隆功能的轻型RFID相互认证协议
机译:一阶逻辑中安全协议的自动分析
机译:距离边界协议:认证逻辑分析和共谋攻击