机译:分析安全协议中物理邻近性的符号框架
cryptographic protocolsverificationformal methodsprocess algebraDolev-Yao model;
机译:分析安全协议中物理邻近性的符号框架
机译:用于多方面安全协议分析的符号框架
机译:用于多方面安全协议分析的符号框架
机译:安全协议中的定时攻击:符号框架和证明技术
机译:基于信誉的Internet协议安全性:用于移动自组织网络的多层安全框架。
机译:具有不同不稳定源的被动诱饵状态QKD协议的有限密钥安全性分析
机译:指南针:使用物理层安全性的Wi-Fi设备的接近识别通用密码协议协议协议