搜索到1172篇“ 形式化分析“的相关文章
- 一种验证RFID安全协议不可追踪性的形式化分析方法
- 本申请涉及一种验证RFID安全协议不可追踪性的形式化分析方法。所述方法包括：利用进程演算对RFID安全协议中的消息进行形式化描述，将协议中的通信行为抽象为可操作的数学模型后根据项重写系统来构建攻击者的能力模型；基于攻击者...
- 张琛王强
- 一种验证RFID安全协议不可追踪性的形式化分析方法
- 本申请涉及一种验证RFID安全协议不可追踪性的形式化分析方法。所述方法包括：利用进程演算对RFID安全协议中的消息进行形式化描述，将协议中的通信行为抽象为可操作的数学模型后根据项重写系统来构建攻击者的能力模型；基于攻击者...
- 张琛王强
- 基于动态策略的区块链共识协议形式化分析方法及装置
- 本发明公开一种基于动态策略的区块链共识协议形式化分析方法及装置，所述方法包括：基于多重集写规则形式化描述区块链共识协议的实体交互逻辑，形成实体状态转移规则；基于多重集写规则形式化刻画敌手模型，得到验证约束规则；基于多重集...
- 章睿李兆轩卢昊洋薛锐
- 安全协议形式化分析方法研究综述
- 2024年
- 介绍了安全协议的基本概念和分类,然后对安全协议形式化分析方法进行了详细介绍,包括基于模态逻辑的方法、基于模型检测的方法、基于定理证明的方法和基于可证明安全性理论的方法。其中,基于模型检测的方法是目前应用最广泛的一种方法,因此详细介绍了一些常用的基于模型检测方法的工具。最后,总结了当前安全协议形式化分析方法的研究热点和未来的发展方向。
- 缪祥华黄明巍张世奇张世杰王欣源
- 关键词：安全协议形式化分析模态逻辑定理证明可证明安全性
- 基于递归认证测试的SIP协议形式化分析
- 2024年
- 文章以形式化分析方法证明协议安全为研究目的,以具有灵活性、开放性、可伸缩性等特性的SIP协议为研究对象,运用基于串空间理论改进的递归认证测试形式化分析方法,分析了一种BAN逻辑证明安全的SIP身份认证协商协议,发现了该协议执行过程中协议格式不准确、易受中间人攻击的缺陷,并提出了针对该协议缺陷的改进方案。结果表明,文章所提出的递归认证测试形式化分析方法比BAN逻辑更适用、更有效,同时改进方案也增强了SIP身份认证协商协议的安全性。
- 姚萌萌王宇洪瑜平
- 关键词：SIP协议串空间形式化分析方法
- 基于事件逻辑的PUFs认证协议形式化分析被引量：1
- 2024年
- 提出两个事件时序概念与相关规则,用于分析事件关联消息类型为挑战数的时态性质,形式化抽象物理不可克隆函数(PUFs)随机会话秘钥生成功能,扩展事件逻辑(LoET)用于形式化分析PUFs安全协议的理论.以一个基于SRAM PUFs(基于静态随机存取存储器的PUF类型)的安全双向认证协议分析为例,形式化规约了协议基于PUFs随机秘钥生成和双向认证过程,基于扩展的事件逻辑,采用定理证明方法推理证明了该协议在合理假设下满足双向强认证性质.研究表明扩展的事件逻辑理论可用于设计和分析基于PUFs安全协议.
- 钟小妹肖美华杨科罗运先
- 关键词：形式化方法双向认证协议定理证明
- 基于事件逻辑的工业物联网认证协议形式化分析
- 近年来工业化发展步伐逐渐加快,物联网深入到人民生活的方方面面,工业物联网(IIo T)也因此备受关注。工业物联网中数据通常通过不安全的通道传输带来一定的安全风险。安全协议是保障工业物联网通信安全的基础,证明工业物联网传感...
- 陈玉琼
- 关键词：形式化方法安全协议工业物联网
- 一种基于多任务贝叶斯图神经网络的组合形式化分析方法
- 本发明公开一种基于多任务贝叶斯图神经网络的组合形式化分析方法，属于软件缺陷预测领域；包含程序拓扑结构、代码度量特征、静态分析特征和形式化分析特征的多维融合图特征，结合多任务贝叶斯图神经网络模型进行软件缺陷预测，可深度反映...
- 杨顺昆侯展意邵麒杨明浩段峙宇佘志坤
- 受限环境下委托握手DTLS协议的形式化分析与改进
- 2024年
- 物联网设备有着资源受限的特性,往往处于受限的网络环境中,在这之上又面临着安全的挑战。目前常见的受限网络协议栈为CoAP-DTLS/UDP-6LoWPAN,传输层使用UDP,其安全性由DTLS协议维持。但DTLS协议作为TLS在UDP上的扩展,基于PKI连接建立的方式使其在直接应用到受限环境下会产生诸多性能上的问题。针对DTLS协议在受限环境下的性能问题,国内外的研究学者提出了诸多解决方式,包括但不限于改进加密算法、使用特定硬件、优化证书链、委托可信三方进行密钥协商(即将DTLS握手委托给第三方)。因此,对委托握手的DTLS协议使用Scyther进行形式化分析,得出其交付密钥材料时使用长期预共享密钥存在的安全问题,并提出重用TLS/DTLS协议中PRF函数的改进方式,对改进后的方法进行分析,证明了该方法能有效降低交付密钥材料时存在的风险。
- 蒲鹳雄缪祥华袁梅宇
- 安全协议设计与形式化分析方法的研究
- 孔雪曼
相关作者
- 王亚弟
- 作品数：140被引量：334H指数：9
- 供职机构：解放军信息工程大学
- 研究主题：密码协议 安全协议 形式化分析 HOC网络 AD
- 文静华
- 作品数：83被引量：206H指数：8
- 供职机构：贵州财经大学信息学院
- 研究主题：公平 形式化分析 ATL 电子商务协议 安全性
- 韩继红
- 作品数：122被引量：366H指数：9
- 供职机构：解放军信息工程大学
- 研究主题：安全协议 密码协议 形式化分析 HOC网络 网络安全
- 冯登国
- 作品数：761被引量：7,865H指数：38
- 供职机构：中国科学院软件研究所
- 研究主题：信息安全 密码学 网络安全 访问控制 可信计算
- 周明天
- 作品数：392被引量：2,236H指数：22
- 供职机构：电子科技大学计算机科学与工程学院
- 研究主题：计算机网络 无线传感器网络 CORBA 中间件 可信计算
