搜索到663篇“ 协议形式化“的相关文章
- 安全协议形式化分析方法研究综述
- 2024年
- 介绍了安全协议的基本概念和分类,然后对安全协议形式化分析方法进行了详细介绍,包括基于模态逻辑的方法、基于模型检测的方法、基于定理证明的方法和基于可证明安全性理论的方法。其中,基于模型检测的方法是目前应用最广泛的一种方法,因此详细介绍了一些常用的基于模型检测方法的工具。最后,总结了当前安全协议形式化分析方法的研究热点和未来的发展方向。
- 缪祥华黄明巍张世奇张世杰王欣源
- 关键词：安全协议形式化分析模态逻辑定理证明可证明安全性
- 基于事件逻辑的PUFs认证协议形式化分析被引量：1
- 2024年
- 提出两个事件时序概念与相关规则,用于分析事件关联消息类型为挑战数的时态性质,形式化抽象物理不可克隆函数(PUFs)随机会话秘钥生成功能,扩展事件逻辑(LoET)用于形式化分析PUFs安全协议的理论.以一个基于SRAM PUFs(基于静态随机存取存储器的PUF类型)的安全双向认证协议分析为例,形式化规约了协议基于PUFs随机秘钥生成和双向认证过程,基于扩展的事件逻辑,采用定理证明方法推理证明了该协议在合理假设下满足双向强认证性质.研究表明扩展的事件逻辑理论可用于设计和分析基于PUFs安全协议.
- 钟小妹肖美华杨科罗运先
- 关键词：形式化方法双向认证协议定理证明
- 基于动态策略的区块链共识协议形式化分析方法及装置
- 本发明公开一种基于动态策略的区块链共识协议形式化分析方法及装置，所述方法包括：基于多重集写规则形式化描述区块链共识协议的实体交互逻辑，形成实体状态转移规则；基于多重集写规则形式化刻画敌手模型，得到验证约束规则；基于多重集...
- 章睿李兆轩卢昊洋薛锐
- 基于用户同意的隐私保护协议形式化描述与验证
- 2023年
- 将用户同意与访问控制相结合是解决隐私保护的主要方法之一.然而,现有的隐私保护访问控制方法仅从数据控制者的角度,不考虑个人对访问决策的参与,无法满足自主可控的需求.为了解决这个问题,本文提出了一种基于用户同意的隐私保护访问控制协议,将用户同意转化为一种同意权限,形成一种同意加授权的双重访问控制机制.本文给出协议的语法、语义及安全性定义和分析,并采用模型检测的方法对协议应满足的性质进行验证,最终证明本文的设计可以从访问控制的角度满足个人信息保护法规的要求.
- 马丽姜火文彭云
- 关键词：个人数据保护隐私保护模型访问控制
- 两类典型车载协议形式化安全评估与改进
- 随着工业4.0时代的到来,现代车辆拥有越来越多的电子和软件组件,以支持从车辆舒适系统到高级驾驶辅助系统或信息和娱乐功能的各种功能,从而导致系统复杂性的显著增加。因此,汽车行业正朝着依靠以太网连接和TCP/IP通信协议的汽...
- 高呈泰
- 关键词：安全评估形式化分析
- WAPI认证与密钥协商协议形式化分析与研究
- 无线局域网中终端设备和本地网络接入点之间通过空口通信,容易遭受攻击,因此无线局域网安全一直是研究的热点问题。为了保障无线局域网安全,我国独立提出了无线局域网鉴别与保密基础架构协议,该协议广泛应用于工业互联网控制、公安系统...
- 叶海松
- 关键词：WAPI形式化分析拒绝服务攻击中间人攻击
- 基于概率模型的Raft协议形式化验证
- 2023年
- 共识协议作为分布式系统的关键要素和核心组件,用于解决分布式场景下可能出现故障的节点间保证同一数据一致的问题,其准确性和高效性直接决定了系统的性能。Raft共识协议是目前分布式系统中常见且有效的算法。本文首先使用概率模型检测方法对Raft共识协议进行形式化建模,然后利用概率模型检测的属性规约技术对它的相关属性进行描述,最后通过模型检测工具验证并分析Raft共识协议的一致性和高效性。实验结果表明,Raft共识协议满足一致性,但是在领导者选举阶段,当跟随者维护的最新日志序号的差值范围增加时,选举回合数也会增多,使得整个服务周期选举时间增加,从而影响协议的执行效率。
- 管金平杨晋吉杨成龙
- 关键词：分布式系统概率模型检测形式化验证
- 智能家居系统Z-Wave协议形式化分析与改进
- 刘君伟
- 基于模型检测的车联网认证协议形式化分析与验证
- 车载自组网(Vehicular Ad-Hoc Network,VANET)是车联网体系中的通信网络,旨在通过车辆与车辆、车辆与基础设施之间的通信,为交通运输提供高效、便捷的服务。由于VANET中许多节点之间的通信是基于公...
- 宋威威
- 关键词：车载自组网
- 基于HCPN模型检测方法的IPP协议形式化安全评估与改进
- 互联网打印协议（InternetPrintingProtocol,IPP）是最重要的打印协议之一。该协议声称其安全组件能够保证保密性、完整性和不可否认性。学界有多种方法验证协议安全属性，其中模型检测方法一种被广泛使用的方...
- 贝虹汝
- 关键词：着色PETRI网预共享密钥
相关作者
- 赵静
- 作品数：10被引量：14H指数：3
- 供职机构：中国科学技术大学
- 研究主题：RSL 通信协议 形式化描述技术 协议形式化 计算机网络
- 李腊元
- 作品数：376被引量：1,734H指数：21
- 供职机构：武汉理工大学计算机科学与技术学院
- 研究主题：无线传感器网络 多播路由 路由协议 计算机网络 HOC网络
- 屈玉贵
- 作品数：179被引量：734H指数：15
- 供职机构：中国科学技术大学
- 研究主题：无线传感器网络 通信协议 传感器网络 TCL 路由
- 赵保华
- 作品数：223被引量：884H指数：16
- 供职机构：华为技术有限公司
- 研究主题：无线传感器网络 通信协议 TCL 无线局域网 路由协议
- 徐鹏
- 作品数：92被引量：424H指数：10
- 供职机构：重庆理工大学
- 研究主题：永磁同步电机 加筋土挡墙 路基 多采样率 无砟轨道
