作者：董玲,温蜜,陈克非,郑燕飞 单位：中国科学院沈阳计算技术研究所 出版：《小型微型计算机系统》2008年第07期 页数：4页  （PDF与DOC格式可能不同） PDF编号：PDFXXWX2008070360 DOC编号：DOCXXWX2008070369 下载格式：PDF + Word/doc 文字可复制、可编辑

    • 安全协议特别是认证协议的非形式化分析在复杂的现代通信中变得尤其重要.本文指出著名的Abadi安全协议设计原则和Lin等文献中关于漏洞的分析以及使协议更安全的建议存在不准确性，从而使我们能够给出其协议修正版本的攻击.通过对安全协议不安全实质的分析，文章指出实现安全认证协议的必要条件：主体的活现性和新鲜性标志符的新鲜性和关联性.最后，以问答式认证协议为例，指出了保证主体的活现性和新鲜性标志符的新鲜性和关联性的方法。

    📙 相关资料

    1. 《一种无线传感器网络双向认证协议设计及证明》PDF+DOC 构建了一种适用于无线传感器网络的用户与传感器节点间的双向认证协议。分析表明，协议所用算法克服了基于身份公钥的机制中第三方私钥托管问题，并简化了传统基于证书的机制产生及验证证书的复杂性。系统初始化完成后，用户与传感器节点间的双向认证无需可信第三方参与，认证协议简单高效、通信量少。采用BAN(Burro......
    2. 《基于双线性对的WSN密钥协商和认证协议》PDF+DOC 无线传感器网络(WSN)节点在电源、计算能力和内存容量等方面存在局限性，且面临的安全威胁更复杂。为此，提出一种适用于类LEACH路由的WSN密钥协商和认证协议。通过引入当前轮数，实现节点间的双向身份认证，以抵御选择性转发、Sybil和Hello泛洪等常见攻击。利用ID和双线性对原理生成节点间的动态会......
    3. 《异构无线传感器网络混合式密钥管理协议》PDF+DOC 为解决无线传感器网络的保密性问题，通过对现有WSNs密码管理方案进行整理研究，结合WSNs在资源方面的限制和传统密钥管理方案的复杂性等因素，提出一种适用于异构WSNs的密钥管理方案，即混合式密钥管理协议(hybrid key management protocol，H-KMP)方案。通过串空间形式化......
    4. 《船联网中RFID认证协议算法研究》PDF+DOC 随着现代海洋运输业的发展，在执行任务时不再像以往各船舶独立航行，船联网的概念应运而生。现有的船联网结构与物联网相似，通过各类RFID自动识别器﹑传感器及无线传感网络将各船舶及携带的各类电子设备连成网络，相互之间可以进行信息传输。在船联网中，RFID安全认证协议是保障船联网中各类传感器及传感网络工作的......
    5. 《无线传感器网络新鲜性的形式化分析》PDF+DOC 为了更好地解决无线传感器网络的安全与隐私问题，使其具有更广泛的应用领域，提出了一种使用形式化方法 Object-Z分析和验证无线传感器网络安全特性的新方法.该方法分析了一个基于Nonce机制的简单密钥协商协议的新鲜性问题.首先定义了协议使用到的数据类型和辅助函数等组件，然后建立了协议的3个角色模型：......
    6. 《无线传感器网络的安全认证协议研究》PDF+DOC 在对现有无线传感器网络公钥认证机制进行研究的基础上，提出了一种新的基于椭圆曲线公钥算法的部分分布式认证协议PDAP(partly distributed authentication protocol)。在协议中，综合采用了门限秘密共享及证书合成的思想，将数字证书应用于无线传感器网络。同时，针对传感......
    7. 《基于双线性对的WSN密钥管理和认证方案》PDF+DOC 针对无线传感器网络节点在电源、计算能力和内存容量等方面的局限性，以及当前所面临比传统网络更复杂的安全威胁，提出了一种基于双线性对的无线传感器网络密钥管理和认证方案。通过由第三方PKG签名一个包括节点身份和时间标记的数据包，解决了新加入网络节点的身份审核问题，能够抵御传感器网络中大多数常见的攻击。利用......
    8. 《密码协议分析的信任多集方法》PDF+DOC 提出了一种基于逻辑的信任多集方法，它与已有的密码协议安全性分析方法本质上不同：每个参与主体建立的新信任只应依赖于该主体已拥有的信任和接收或发送的包含了信任的新鲜性标识符的消息本身.在基于匹配对话和不可区分性的计算模型下，证明了给出的保证密码协议单方认证安全、双方认证安全、单方密钥安全和双方密钥安全的......
    9. 《基于信任域认证的传感器节点对偶密钥建立协议研究》PDF+DOC 本文从协议安全性的角度分析了无线传感器网络的对偶密钥建立过程.提出了信任域内的认证模型以及相应的对偶密钥建立协议.仿真结果表明，与传统的密钥路径建立过程相比，该协议在取得相近抗毁损性能的前提下，能够有效地实现孤立集团间的互联。...
    10. 《基于轻量级CA无线传感器网络双向认证方案》PDF+DOC 无线传感器网络(Wireless Sensor Network，WSN))认证协议，多是基于秘密密码算法或传统证书公钥密码算法，前者需要在传感器节点中预置大量信息，后者又过于复杂，很难在资源受限的WSN中取得理想效果，针对该问题结合轻量级CA(Lite Certificate Authority，L......

    提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。