搜索到2923篇“ 形式化分析方法“的相关文章
全部数字资源类型
相关度排序
一种验证RFID安全协议不可追踪性的形式化分析方法
本申请涉及一种验证RFID安全协议不可追踪性的形式化分析方法。所述方法包括：利用进程演算对RFID安全协议中的消息进行形式化描述，将协议中的通信行为抽象为可操作的数学模型后根据项重写系统来构建攻击者的能力模型；基于攻击者...
张琛王强
一种验证RFID安全协议不可追踪性的形式化分析方法
本申请涉及一种验证RFID安全协议不可追踪性的形式化分析方法。所述方法包括：利用进程演算对RFID安全协议中的消息进行形式化描述，将协议中的通信行为抽象为可操作的数学模型后根据项重写系统来构建攻击者的能力模型；基于攻击者...
张琛王强
安全协议形式化分析方法研究综述
2024年
介绍了安全协议的基本概念和分类,然后对安全协议形式化分析方法进行了详细介绍,包括基于模态逻辑的方法、基于模型检测的方法、基于定理证明的方法和基于可证明安全性理论的方法。其中,基于模型检测的方法是目前应用最广泛的一种方法,因此详细介绍了一些常用的基于模型检测方法的工具。最后,总结了当前安全协议形式化分析方法的研究热点和未来的发展方向。
缪祥华黄明巍张世奇张世杰王欣源
关键词：安全协议形式化分析模态逻辑定理证明可证明安全性
基于动态策略的区块链共识协议形式化分析方法及装置
本发明公开一种基于动态策略的区块链共识协议形式化分析方法及装置，所述方法包括：基于多重集写规则形式化描述区块链共识协议的实体交互逻辑，形成实体状态转移规则；基于多重集写规则形式化刻画敌手模型，得到验证约束规则；基于多重集...
章睿李兆轩卢昊洋薛锐
一种基于多任务贝叶斯图神经网络的组合形式化分析方法
本发明公开一种基于多任务贝叶斯图神经网络的组合形式化分析方法，属于软件缺陷预测领域；包含程序拓扑结构、代码度量特征、静态分析特征和形式化分析特征的多维融合图特征，结合多任务贝叶斯图神经网络模型进行软件缺陷预测，可深度反映...
杨顺昆侯展意邵麒杨明浩段峙宇佘志坤
安全协议设计与形式化分析方法的研究
孔雪曼
基于CPN的安全协议形式化分析方法研究
张家临
机械臂稳定性形式化分析方法、装置、设备及存储介质
本公开实施例公开了一种机械臂稳定性形式化分析方法、装置、设备及存储介质，所述方法包括：根据机械臂状态方程构造李雅普诺夫函数；立机械臂平衡状态稳定性分析的形式化模型；将所述李雅普诺夫函数的性质与所述形式化模型组成逻辑命题；...
王国辉关永施智平聂玉涵张倩颖李希萌邵振洲
一种基于Coq的超大规模集成电路RTL漏洞形式化分析方法
本发明公开了一种基于Coq的超大规模集成电路RTL漏洞形式化分析方法，包括：S1、词法语法分析，主要是分析集成电路硬件描述语言生成抽象语法树；S2、数据流转化，获取集成电路的数据流信息；S3、获取方程描述，从数据流信息的...
戴延军
无人机自主定位的形式化分析方法和装置
本公开实施例公开了一种无人机自主定位的形式化分析方法和装置。该方法包括：获取同名像点坐标、预设的齐次坐标转换矩阵、连续齐次坐标转换矩阵和坐标转换公式，基于高阶逻辑语言建立地面目标点在大地坐标系中的高阶逻辑表达；基于高阶逻...
王国辉施智平关永吴颖杰李希萌张倩颖张景芝
加载更多 ∨

相关作者

张倩颖
作品数：63被引量：89H指数：6
供职机构：首都师范大学
研究主题：逻辑命题 定理证明器 形式化验证 逻辑语言 机器人
施智平
作品数：189被引量：655H指数：12
供职机构：首都师范大学
研究主题：形式化验证 定理证明 形式化 图像检索 机器人
关永
作品数：347被引量：1,198H指数：16
供职机构：首都师范大学
研究主题：形式化验证 定理证明 机器人 嵌入式系统 形式化
王瑞
作品数：70被引量：157H指数：7
供职机构：首都师范大学
研究主题：形式化验证 机器人 ROS 移动机器人 时间自动机
李黎明
作品数：13被引量：22H指数：3
供职机构：首都师范大学
研究主题：形式化验证 定理证明 SPACEWIRE 形式化分析方法 逻辑语言