CANETTI-KRAWCZYK模型相关论文
Canetti-Krawczyk(CK)模型是分析密钥交换协议的一种形式化方法, 如果一个密钥交换协议用该模型证明是安全的, 则CK模型能够确保该......
EPC信息服务是EPCglobal框架提供电子产品码信息管理的核心组件,储存着电子产品码对应的信息,是实现企业间信息共享的关键.提出一......
分析了EPC网络中ONS查询过程,指出现有过程在身份认证、消息机密性和完整性等方面存在安全缺陷.提出了一种可证明安全的ONS查询方......
利用Canctti-Krawczyk模型构造了一个快速认证协议，并对该协议的安全性进行了详细的分析和证明。分析表明，该协议实现了Canetti-Kraw......
利用Canetti-Krawczyk模型对WAPI实施方案中的单播密钥协商协议进行了分析,结果表明：如果所采用的椭圆曲线加密方案ECES能够抵抗适......
基于身份的认证密钥协商协议存在密钥托管I、D管理I、D唯一性和私钥的安全分发等问题,目前的可信计算技术为此提供了很好的解决方......
提出一种模块化的扩展Canetti-Krawczyk模型（简称meCK模型）以摆脱认证密钥交换协议对随机预言机的依赖.首先将认证密钥交换协议划分......
介绍可信计算中直接匿名认证(DAA)方案的研究与发展,针对现有解决方案中由于EK密钥泄露而造成的Rudolph攻击,提出了一种改进的直接......
异构无线融合网络是未来无线通信网络的一种发展趋势,认证是网络安全中首要考虑的问题,也是异构无线融合网络实用化的基础。因此,......
无线网络技术的飞速发展,给人类的传统生活和工作带来了深远的影响,许多基于无线网络所发展起来的新的应用也正改变着人类的生活习......
针对EPC信息服务存在的安全问题,提出一种EPC信息服务安全通信方案ESCM,方案使用数字签名、消息认证码等安全机制,实现了分属查询......
随着物联网网络管理规模的增大和对安全性要求的提高,简单网管协议第3版标准中的用户安全模型的密钥交换已经不能满足需求。针对当......
