串空间模型

作品数：69被引量：144H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：肖跃雷周清雷赵东明石曙东魏仕民更多>>
相关机构：郑州大学东南大学西安邮电大学陕西省信息化工程研究院更多>>
相关期刊：《计算机技术与发展》《计算机工程与设计》《电脑编程技巧与维护》《计算机与数字工程》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划湖北省教育厅青年基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于格密码的5G-R车地认证密钥协商方案被引量：1
《铁道学报》2024年第2期82-93,共12页陈永 刘雯 张薇 
国家自然科学基金(61963023,61841303);兰州交通大学基础拔尖人才项目(2022JC36);兰州交通大学重点研发项目(ZDYF2304)。
5G-R作为我国下一代高速铁路无线通信系统,其安全性对于保障行车安全至关重要。针对5G-AKA协议存在隐私泄露、根密钥不变和效率低等问题,基于格密码理论提出一种新型5G-R车地认证方案。首先,使用临时身份信息GUTI代替SUCI,克服了SUCI明...
关键词：5G-R 车地认证密钥协商 格密码 前后向安全性 串空间模型 
基于证书的有线局域网安全关联方案改进与分析被引量：3
《计算机应用》2021年第7期1970-1976,共7页肖跃雷 邓小凡 
国家自然科学基金资助项目(61741216,61402367)。
在基于三元对等鉴别(TePA)的有线局域网(LAN)媒体访问控制安全(TLSec)中,基于证书的LAN安全关联方案在交换密钥建立过程中存在通信浪费和不适用于可信计算环境的问题。为了解决这两个问题,首先提出了一种改进的基于证书的LAN安全关联方...
关键词：有线局域网 可信计算 平台认证 串空间模型 安全关联 
可信计算环境下的MACSec安全关联方案被引量：3
《计算机应用研究》2019年第10期3043-3047,3062,共6页肖跃雷 武君胜 朱志祥 
国家自然科学基金资助项目(61741216,61402367);陕西省科技统筹创新工程计划资助项目(2016KTTSGY01-03);陕西省教育厅专项科学研究项目(17JK0704);西安邮电大学“西邮新星”团队支持计划项目
为满足跨交换机间的媒体访问控制(MAC)层安全通信需求,提出一种改进的MACSec安全关联方案。该方案建立了新加入交换机与不相邻交换机之间的安全关联密钥(SAK),用于保护它们之间的MAC层数据通信。为了使得该方案进一步适合于可信计算环境...
关键词：媒体访问控制 安全关联 可信计算 平台认证 串空间模型 
一种面向WSN的双向身份认证协议及串空间模型被引量：10
《计算机科学》2019年第9期169-175,共7页刘静 赖英旭 杨胜志 Lina Xu 
青海省自然科学基金(2017-ZJ-912);北京工业大学国际科研合作种子基金(2018-B9);信息保障技术重点实验室基金(614211204031117);北京市自然科学基金(4162006);国防科技实验信息安全实验室对外开放项目(2015XXAQ09)资助
随着工业互联网、智慧农业、智能家居等领域的发展,无线传感网络(WSN)得到了更广泛的应用,但安全问题也随之凸显。针对无线传感网络中传感器节点易失效、能量和计算存储能力受限等问题,构建了一种基站与传感器节点间的基于状态信息的双...
关键词：身份认证协议 无线传感器网络 串空间模型 报警机制 
安全协议抗DoS攻击的形式化分析研究被引量：2
《四川大学学报（自然科学版）》2018年第6期1211-1218,共8页高强 林星辰 林宏刚 金大鹏 
四川省科技厅重点研发项目(2017GZ0319)
随着拒绝服务攻击给协议的可用性带来的危害越来越大,需要行之有效的方法对安全协议的抗DoS性进行分析.但是目前对安全协议的抗DoS性进行分析的方法模型都存在一些缺陷,有的只能分析部分的DoS攻击,有的只关注协议各方计算资源的消耗,而...
关键词：安全协议 拒绝服务攻击 扩展串空间模型 
可信计算环境下的IKEv2协议扩展方案被引量：2
《微电子学与计算机》2018年第12期1-7,共7页肖跃雷 武君胜 朱志祥 
国家自然科学基金(61741216;61402367);陕西省科技统筹创新工程计划项目(2016KTTSGY01-03);陕西省教育厅专项科学研究项目(17JK0704);西安邮电大学"西邮新星"团队支持计划项目
在IKEv2协议基础上,利用ISO/IEC 9798-3:1998/Amd 1:2010中的认证机制,提出了一种可信计算环境下的IKEv2协议扩展方案,实现了发起者和响应者之间的双向身份认证和平台认证,并建立了它们之间的会话密钥,且与IKEv2协议是向后兼容的,其中...
关键词：可信计算 平台认证 串空间模型 IKEV2 
基于预共享密钥的LAN安全关联方案改进与分析被引量：4
《计算机应用》2018年第11期3246-3251,共6页肖跃雷 武君胜 朱志祥 
国家自然科学基金资助项目(61741216;61402367);陕西省科技统筹创新工程计划项目(2016KTTSGY01-03);陕西省教育厅专项科学研究项目(17JK0704);西安邮电大学"西邮新星"团队支持计划项目~~
针对基于预共享密钥的有线局域网(LAN)安全关联方案中交换密钥建立过程的通信浪费问题,提出了一种改进的LAN安全关联方案。该方案通过对基于预共享密钥的鉴别及单播密钥协商过程的改进,生成了新加入交换机和认证服务器之间的成对主密钥...
关键词：有线局域网 可信计算 平台认证 串空间模型 安全关联 
基于射频识别的安全认证协议设计被引量：3
《计算机工程》2016年第3期172-176,共5页李翠 石林 
国家自然科学基金资助项目(61403417)
随着射频识别技术的广泛应用,其引发的安全问题和计算开销之间的矛盾愈发突出。为此,研究主流射频识别安全认证协议存在的安全缺陷,分析其计算开销,设计一种安全性高、计算成本低的安全认证协议。通过串空间模型方法对协议进行分析,得...
关键词：物联网 射频识别 认证协议 串空间模型 安全性分析 
一种分析和改进安全协议的新方法
《西安邮电大学学报》2015年第5期17-23,共7页肖跃雷 朱志祥 张勇 
国家自然科学基金资助项目(61402367);陕西省信息化技术研究计划资助项目(2013-008);西安邮电大学青年教师科研基金资助项目(401-1201)
分析安全协议的执行过程,给出驱动模块(Driving Module,DM)的定义,利用串空间模型构建常规DM和攻击DM,由此给出一种基于驱动模块的模型检验方法。理论分析显示,该方法搜索广度和深度完善,能避免状态空间爆炸问题,可用于获得有缺陷安全...
关键词：驱动模块 串空间模型 安全协议 模型检验 攻击剧本 
一种新的认证协议自动验证方法
《微型电脑应用》2015年第8期4-6,共3页肖跃雷 朱志祥 张勇 
国家自然科学基金(61402367);陕西省信息化技术研究项目(2013-008);西安邮电大学青年教师科研基金项目(401-1201)
为了实现对认证协议的自动验证,首先,通过对认证协议的协议主体行为分析,给出了驱动模型(Driving Module,DM)的定义。然后,根据串空间模型中的常规者串和攻击者串分别构建了常规者DM和攻击者DM。最后,提出了基于常规者DM和攻击者DM的自...
关键词：自动验证 驱动模型 串空间模型 认证协议 
全选清除导出
共7页<1234567>
检索报告 对象比较 聚类工具 使用帮助 返回顶部