公共文化服务平台

搜索到244篇“ 串空间模型“的相关文章

一种面向WSN的双向身份认证协议及串空间模型被引量：10: 2019年; 随着工业互联网、智慧农业、智能家居等领域的发展,无线传感网络(WSN)得到了更广泛的应用,但安全问题也随之凸显。针对无线传感网络中传感器节点易失效、能量和计算存储能力受限等问题,构建了一种基站与传感器节点间的基于状态信息的双向身份认证协议,其能在满足无线传感网络轻量级和低成本要求的同时确保安全性。协议首先在节点接入阶段基于可信网络连接进行平台可信情况的认证,以验证节点的可信情况并实现节点的加密注册。然后在运行阶段通过重要数据双向认证过程对重要数据的传输过程进行保护,利用定时更新认证确认传感器节点的状态和可靠性。协议允许基站定时检测节点的运行状态信息,及时监测到节点的物理损坏,并利用节点的运行状态信息进行认证,以进一步增强协议的安全性。同时,该协议还引入了报警机制,该机制可以区分通信错误、节点的物理损坏以及攻击者攻击。本协议降低了认证过程的通信量,引入的报警消息可以增强排障能力。利用串空间模型对协议进行形式化分析,证明了协议的安全性。最后通过实验验证了设计的双向身份认证协议能提供较好的安全性,而且发送数据增加的延迟时间在可接受的范围内,网络可扩展性好。所提方案能够加强网络接入安全并且有效防御来自节点系统内部的攻击,具有较好的应用价值。; 刘静赖英旭杨胜志Lina Xu; 关键词：身份认证协议无线传感器网络串空间模型

基于串空间模型的认证测试方法: 2015年; 串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.; 张玲玲谢圣献贾仰理; 关键词：安全协议串空间模型

基于串空间模型的云计算安全接入及存储机制研究: 云计算作为一个虚拟化，大规模的分布式计算模式，给企业乃至个人提供了一个数据存储的第三方平台，减轻了本地的存储负担，带来了巨大的便利。存储在云中的数据不仅可以自存自取，也可以通过设置权限给符合要求的用户登录获取。近几年云计...; 陈南; 关键词：云计算安全接入串空间模型密钥交换协议; 文献传递

基于串空间模型的安全协议形式化分析方法及其应用: 计算机网络的通信安全是目前人们关注的一个热点，它不仅需要安全的体系结构、技术和工程的支撑，更需要正确的安全协议。安全协议的设计是十分复杂的，其缺陷和可能受到的攻击一直是我们讨论的焦点。为了保证协议的安全性和正确性，协议的...; 解颜铭; 关键词：网络安全形式化分析串空间; 文献传递

基于串空间模型的云计算数据存取及接入安全协议的研究: 徐辉

基于串空间模型的Andrew安全RPC协议分析: 2012年; 在Andrew安全RPC协议模型的基础上,运用安全协议的形式化串空间模型分析方法,对Andrew安全RPC协议进行了分析,说明了该方法进行协议分析的过程,证明了该协议在机密性和认证性方面的正确性,并分析了该协议存在的安全缺陷。; 刘慧芳; 关键词：串空间模型形式化分析安全协议

基于串空间模型的安全协议形式化分析与研究: 随着网络的飞速发展和信息交互量的不断增长,信息安全的问题受到了越来越多的关注。为了维护网络环境的安全,构建正确的安全协议是必要的。然而,如何保证安全协议的安全性,如何使协议的设计满足安全性,如何提高自动化验证的效率都是安...; 闫敏; 关键词：安全协议形式化分析串空间模型; 文献传递

基于串空间模型的改进型Otway-Rees协议分析: 2012年; 串空间模型是一种新兴的密码协议形式化分析工具,其理论中理想和诚实概念的提出大大减少了协议的证明步骤。本文在Otway-Rees协议缺陷的基础上对它进行改进,并利用串空间模型的理论对改进后的Otway-Rees协议进行了形式化的分析。新的Otway-Rees协议满足其安全目标,是安全可行的。; 解颜铭石曙东翁艳琴; 关键词：安全协议 OTWAY-REES协议串空间认证性机密性

基于串空间模型的安全协议自动化验证方法研究: 随着网络技术和信息技术的迅速发展,计算机网络在诸多领域内的应用日益普及,然而由于其运行环境具有开放性,使得计算机网络在给人们带来巨大便利的同时,也产生一系列的安全问题,因此如何确保网络中信息的安全性成为亟待解决的问题。安...; 刘燕玲; 关键词：安全协议形式化分析串空间模型网络安全

基于串空间模型的形式化方法的扩展与应用: 安全协议是实现信息安全的基础,是网络安全通信的核心技术,它的正确性对网络的安全起着非常重要的作用,因此其自身的安全性问题已成为安全研究的重要内容。然而怎样保证安全协议的安全性,怎样设计协议才能使之满足安全性的要求,都是安...; 赵自强; 关键词：安全协议串空间模型形式化方法; 文献传递

加载更多 ∨

相关作者

用户反馈

相关作者

用户登录

用户反馈