《密码协议分析的信任多集方法》PDF+DOC

📙 相关资料

1. 《可证明安全的面向无线传感器网络的三因素认证及密钥协商方案》PDF+DOC 对Amin等提出的无线传感器网络环境下匿名认证协议进行了安全分析，指出此协议不能抵抗移动设备丢失攻击、用户冒充攻击及传感器节点捕获攻击。基于口令和智能卡这2个认证因素，增加生物特征标识作为附加安全因素，设计了一个三因素无线传感器认证密钥协商方案。利用BAN逻辑和启发式分析证明了方案的安全性，通过与其......
2. 《新的适用于WSN网络的双方认证密钥协商协议》PDF+DOC 在无线传感器网络(Wireless Sensor Network，WSN)中，如何消耗较小的计算量建立传感器之间的身份认证和会话密钥一直是学界研究的热点。基于椭圆曲线密码体制设计了一种新的认证密钥协商协议。之后对新协议进行了安全性分析和性能分析。分析结果表明，新方案在确保自身安全的前提下，以较小的计......
3. 《车载自动伸缩雨棚的设计与研究》PDF+DOC 为了雨天方便人们上下车，设计了一款车载自动伸缩遮雨棚。设计中系统采用扇形结构作为骨架，采用蓄电池供电，通过超声波和雨量传感器对系统进行控制，使用步进电机进行驱动。通过风载荷，雨载荷等对系统进行了安全性分析，结果表明该设计能达到安全使用的目的。...
4. 《无线传感器网络下多因素身份认证协议的内部人员攻击》PDF+DOC 无线传感器网络技术一经提出，迅速得到学术界、工业界的广泛关注，在国防军事、环境监测、智能家居、健康护理等领域发挥着重要作用.身份认证是保障无线传感器网络实时访问的关键安全技术.基于增强的攻击者模型，提出一种被长期忽略的内部攻击威胁，对无线传感器网络环境下的两个代表性认证协议进行了安全性分析.指出Mi......
5. 《无线传感器网络新鲜性的形式化分析》PDF+DOC 为了更好地解决无线传感器网络的安全与隐私问题，使其具有更广泛的应用领域，提出了一种使用形式化方法 Object-Z分析和验证无线传感器网络安全特性的新方法.该方法分析了一个基于Nonce机制的简单密钥协商协议的新鲜性问题.首先定义了协议使用到的数据类型和辅助函数等组件，然后建立了协议的3个角色模型：......
6. 《无线传感器网络中自治愈的群组密钥管理方案》PDF+DOC 群组密钥管理的自治愈机制是保证无线传感器网络在不可靠信道上进行安全群组通信的重要手段.基于采用双方向密钥链的群组密钥分发与撤销方法，提出了一个无线传感器网络中具有撤销能力的自治愈群组密钥管理方案.该方案实现了群组密钥的自治愈功能和节点撤销能力，能够满足在较高丢包率的无线通信环境下传感器网络群组密钥管......
7. 《无线传感器网络基于身份的密钥建立协议综述》PDF+DOC 无线传感器网络(WSN)的高度自治和资源严重受限等特点，使其安全问题比传统Adhoc网络面临更大的挑战。密钥管理是WSN安全的一个基本问题，密钥建立作为密钥管理的重要内容，必须兼顾安全性和性能等方面因素。综述了WSN基于身份的密钥建立协议。介绍了基于身份密码体制的基本要素，给出了基于身份的密钥协商协......
8. 《军用装备软件需求层次分解及其规格描述》PDF+DOC 不规范的软件需求是造成无法顺利开展装备软件定型测评的重要原因。介绍了软件需求的基本概念，指出了军用装备软件需求的层次划分和各层需求的产生与描述方法，定义了需求文档的若干质量属性，从形式化、半形式化到自然语言的顺序介绍了软件需求的描述方法，并对用自然语言描述软件需求时应注意的问题列举了实例进行说明。利......
9. 《无线传感器网络EMSR协议的安全性分析》PDF+DOC 针对目前无线传感器网络密钥管理方案存在的安全问题，给出了一种可证明安全的无线传感器网络的认证密钥建立方案(EMSR)，使用公钥证书实现网络节点的双向认证，同时产生双方共享与相互控制的会话密钥，有效地防止了纯粹使用对称加密机制产生的认证问题。在CK安全模型下，对EMSR协议进行了安全性证明，并对几种基......
10. 《认证协议安全性的非形式化分析》PDF+DOC 安全协议特别是认证协议的非形式化分析在复杂的现代通信中变得尤其重要.本文指出著名的Abadi安全协议设计原则和Lin等文献中关于漏洞的分析以及使协议更安全的建议存在不准确性，从而使我们能够给出其协议修正版本的攻击.通过对安全协议不安全实质的分析，文章指出实现安全认证协议的必要条件：主体的活现性和新鲜......