串空间

作品数：190被引量：390H指数：9
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：周清雷肖跃雷赵东明林东岱魏仕民更多>>
相关机构：郑州大学解放军信息工程大学中国科学院软件研究所西安电子科技大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划国家科技重大专项更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于递归认证测试的SIP协议形式化分析
《信息网络安全》2024年第10期1586-1594,共9页姚萌萌 王宇 洪瑜平 
国家重点研发计划[2022YFB4502000]。
文章以形式化分析方法证明协议安全为研究目的,以具有灵活性、开放性、可伸缩性等特性的SIP协议为研究对象,运用基于串空间理论改进的递归认证测试形式化分析方法,分析了一种BAN逻辑证明安全的SIP身份认证协商协议,发现了该协议执行过...
关键词：SIP协议 递归认证测试 串空间 形式化分析方法 
基于格密码的5G-R车地认证密钥协商方案被引量：1
《铁道学报》2024年第2期82-93,共12页陈永 刘雯 张薇 
国家自然科学基金(61963023,61841303);兰州交通大学基础拔尖人才项目(2022JC36);兰州交通大学重点研发项目(ZDYF2304)。
5G-R作为我国下一代高速铁路无线通信系统,其安全性对于保障行车安全至关重要。针对5G-AKA协议存在隐私泄露、根密钥不变和效率低等问题,基于格密码理论提出一种新型5G-R车地认证方案。首先,使用临时身份信息GUTI代替SUCI,克服了SUCI明...
关键词：5G-R 车地认证密钥协商 格密码 前后向安全性 串空间模型 
一类密钥同步更新的组合校验认证方法被引量：2
《电子与信息学报》2023年第12期4509-4518,共10页张岚 何良生 郁滨 
针对一对多通报关系实体认证与密钥协商应用环境的无线目标身份识别同步认证问题,该文设计了双密钥组合校验定理,提出并证明了交互式动态认证与工作密钥同步更新定理,基于可信标识动态密钥匹配规则构建了密钥同步更新的组合校验认证模型...
关键词：密钥同步更新 动态可认证性 双密钥组合校验 基于串空间理论构造攻击方法 
基于极小元理论的改进MTI认证协议分析被引量：1
《淮北师范大学学报（自然科学版）》2023年第1期64-69,共6页纵汶倍 余磊 
安徽省高校自然科学研究项目(KJ2020A0034);2021横向课题(2022340603000254)。
针对改进后的MTI协议,通过串空间模型中的极小元理论,对改进MTI协议的一致性和保密性进行分析,验证改进后MTI协议的安全性,得到改进MTI协议可以安全保密地实现协议的目的这一结论。
关键词：安全协议 串空间 改进MTI认证协议 安全性分析 
基于事件的群组密钥协商协议形式化分析研究被引量：3
《信息网络安全》2022年第5期30-36,共7页沈延 姚萌萌 
国家自然科学基金[91430214,6732018];核高基重大专项[2017ZX01028101]。
群组密钥协商协议应用于物联网、无线通信、区块链、视频会议等领域,是当前的一个研究热点。该协议的交互消息较多,且消息认证、加密所使用的密码算法也复杂,这就给密码协议的形式化描述与安全性分析带来一定的困难。文章基于串空间理论...
关键词：群组密钥协商协议 串空间 形式化分析 
基于证书的有线局域网安全关联方案改进与分析被引量：3
《计算机应用》2021年第7期1970-1976,共7页肖跃雷 邓小凡 
国家自然科学基金资助项目(61741216,61402367)。
在基于三元对等鉴别(TePA)的有线局域网(LAN)媒体访问控制安全(TLSec)中,基于证书的LAN安全关联方案在交换密钥建立过程中存在通信浪费和不适用于可信计算环境的问题。为了解决这两个问题,首先提出了一种改进的基于证书的LAN安全关联方...
关键词：有线局域网 可信计算 平台认证 串空间模型 安全关联 
基于串空间的异构社交网络属性并行验证仿真被引量：1
《计算机仿真》2020年第8期409-413,共5页王战红 李鹏程 
2019年度河南省重点研发与推广专项(软科学研究)项目(192400410157)。
社交网络数据量庞大,易产生状态爆炸,提出了基于串空间的异构社交网络属性并行验证。串空间结构的内在特点可有效降低网络状态爆炸,设置有向图表示异构社交网络;对异构社交网络中的链路信息实行规则预处理,将规则划分为不同等价类,并在...
关键词：串空间 异构社交网络 预处理 转发图 可达性分析 
基于串空间的安全协议形式化分析研究被引量：5
《信息网络安全》2020年第2期30-36,共7页姚萌萌 唐黎 凌永兴 肖卫东 
国家自然科学基金[91430214];核高基重大专项[2017ZX01028101]。
安全协议是信息安全领域的重要组成部分,随着新兴技术的快速发展,安全协议变得越来越复杂,给安全协议的形式化分析带来了挑战。近年来,基于串空间理论的形式化分析方法是一个研究热点,在安全协议分析领域得到了广泛的关注和研究,并取得...
关键词：串空间 形式化分析 安全协议 区块链 
可信计算环境下的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)得到了更广泛的应用,但安全问题也随之凸显。针对无线传感网络中传感器节点易失效、能量和计算存储能力受限等问题,构建了一种基站与传感器节点间的基于状态信息的双...
关键词：身份认证协议 无线传感器网络 串空间模型 报警机制 
全选清除导出
共19页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部