形式化分析方法

作品数：41被引量：79H指数：5
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：张倩颖关永施智平李黎明李晓娟更多>>
相关机构：西安电子科技大学首都师范大学苏州大学中国科学院软件研究所更多>>
相关期刊：《计算机光盘软件与应用》《计算机仿真》《科技资讯》《清华大学学报（自然科学版）》更多>>
相关基金：国家自然科学基金中国科学院研究生院院长基金国家科技重大专项江苏省高校自然科学研究项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于递归认证测试的SIP协议形式化分析
《信息网络安全》2024年第10期1586-1594,共9页姚萌萌 王宇 洪瑜平 
国家重点研发计划[2022YFB4502000]。
文章以形式化分析方法证明协议安全为研究目的,以具有灵活性、开放性、可伸缩性等特性的SIP协议为研究对象,运用基于串空间理论改进的递归认证测试形式化分析方法,分析了一种BAN逻辑证明安全的SIP身份认证协商协议,发现了该协议执行过...
关键词：SIP协议 递归认证测试 串空间 形式化分析方法 
安全协议形式化分析方法研究综述
《化工自动化及仪表》2024年第3期367-378,共12页缪祥华 黄明巍 张世奇 张世杰 王欣源 
介绍了安全协议的基本概念和分类,然后对安全协议形式化分析方法进行了详细介绍,包括基于模态逻辑的方法、基于模型检测的方法、基于定理证明的方法和基于可证明安全性理论的方法。其中,基于模型检测的方法是目前应用最广泛的一种方法,...
关键词：安全协议 形式化分析 模态逻辑 模型检测 定理证明 可证明安全性 
基于组合权重的工控系统安全形式化分析方法被引量：6
《计算机仿真》2022年第12期422-428,共7页顾兆军 李怀民 丁磊 隋翯 
国家自然科学基金资助项目(61601467)。
为了提高工业控制系统脆弱性评估结果的准确性,提出一种层次分析法和熵权法相结合的工业控制系统安全形式化分析方法。先构造了系统的攻击防御树模型,结合防御树叶节点特点,构造模糊一致性矩阵以确定安全属性权重,同时采用熵权法计算叶...
关键词：层次分析法 熵权法 组合权重 工业控制系统 攻击防御树 
一种基于拜占庭容错的PoS共识协议形式化分析方法被引量：1
《信息网络安全》2021年第8期35-42,共8页陈凯杰 熊焰 黄文超 武建双 
国家自然科学基金[61972369];国家重点研发计划[2018YFB2100301]。
区块链共识协议是一种确保区块链网络中不同节点的数据达成一致的重要机制,随着区块链应用的爆发性增长,针对区块链共识协议的攻击不断出现。文章提出一种基于拜占庭容错的PoS共识协议形式化分析方法,通过归纳建模共识节点整体状态迁移...
关键词：区块链共识协议 拜占庭容错 归纳建模 形式化分析 
基于形式化分析法的情报模式研究
《汽车世界》2020年第8期181-181,共1页熊小超 
网络信息环境下大数据的兴起为情报学领域带来新机遇和新挑战,该文简述了情报与情报分析的概念,指出情报分析员面临的现实挑战,对情报分析法的特点优势进行了概述,归纳了形式化情报分析法的5种应用模式,为弥补情报界在分析技术方面的不...
关键词：形式化分析方法 情报 情报分析 
基于形式化分析法的情报应用模式研究
《科技资讯》2019年第11期193-195,共3页尤江东 
网络信息环境下大数据的兴起为情报学领域带来新机遇和新挑战,该文简述了情报与情报分析的概念,指出情报分析员面临的现实挑战,对情报分析法的特点优势进行了概述,归纳了形式化情报分析法的5种应用模式,为弥补情报界在分析技术方面的不...
关键词：形式化分析方法 情报 情报分析 
一种改进的基于认证测试的形式化分析方法被引量：1
《信息网络安全》2019年第1期27-33,共7页姚萌萌 朱正超 刘明达 
国家自然科学基金[91430214;6732018];核高基重大专项[2017ZX01028101]
近年来,认证测试定理得到了改进,并应用于各种安全协议的分析。但是这些改进定理在应用范围和准确性方面存在一定的缺陷。针对这些缺陷,文章提出了一种改进的输入测试定理及加密测试定理,并给出了改进定理的证明。通过分析认证测试中常...
关键词：串空间 认证测试 形式化分析方法 安全协议 
基于主体关联度的安全协议形式化分析方法被引量：3
《信息网络安全》2018年第6期45-51,共7页余磊 魏仕民 江明明 
国家自然科学基金[61300048;61572224];安徽省自然科学基金[1608085MF143;1708085QF154];安徽省高校优秀青年人才计划项目[gxyq2017154];安徽省教育厅自然科学项目[KJ2014A231;KJ2016A627]
建立在协议主体参数新近一致性上的主体关联度由于能够正确反映协议安全属性与协议结构、消息组件和消息参数的逻辑关系,因此不仅能够为安全协议的正确性分析提供准确严谨的形式化判断依据,还能进一步降低协议分析的复杂度。为此,文章...
关键词：安全协议 认证测试 关联度 形式化分析 
基于前推的密码协议形式化分析方法
《信息安全研究》2017年第5期462-468,共7页闫靖晨 高宏彪 程京德 
在高度信息化社会,各种安全的密码协议是保证网络空间中众多应用所必须的安全性以及公平性的必要技术手段.由于密码协议的安全漏洞会给网络空间应用带来严重的安全问题,甚至造成不可估量的损失,因此密码协议的安全性分析成为重要课题.目...
关键词：密码协议 形式化分析 定理证明 模型检测 前推 
基于SAT的安全协议惰性形式化分析方法被引量：2
《通信学报》2014年第11期117-125,共9页顾纯祥 王焕孝 郑永辉 辛丹 刘楠 
河南省科技创新杰出青年基金资助项目(134100510002);河南省基础与前沿技术研究基金资助项目(142300410002);数学工程与先进计算国家重点实验室开放基金资助项目~~
提出了一种基于布尔可满足性问题的安全协议形式化分析方法 SAT-LMC,通过引入惰性分析的思想优化初始状态与转换规则,提高了安全性的检测效率。另一方面,通过在消息类型上定义偏序关系,SAT-LMC能够检测出更丰富的类型缺陷攻击。基于此...
关键词：安全协议 形式化分析 布尔可满足性 惰性分析 类型缺陷攻击 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部