形式化分析方法

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

检索结果分析

结果分析中...
选择条件：
  • 学科=自动化与计算机技术—计算机科学与技术x
共 条 记 录，以下是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共识协议形式化分析方法,通过归纳建模共识节点整体状态迁移...
关键词：区块链共识协议 拜占庭容错 归纳建模 形式化分析 
一种改进的基于认证测试的形式化分析方法被引量：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页闫靖晨 高宏彪 程京德 
在高度信息化社会,各种安全的密码协议是保证网络空间中众多应用所必须的安全性以及公平性的必要技术手段.由于密码协议的安全漏洞会给网络空间应用带来严重的安全问题,甚至造成不可估量的损失,因此密码协议的安全性分析成为重要课题.目...
关键词：密码协议 形式化分析 定理证明 模型检测 前推 
无线网络安全协议的形式化分析方法
《计算机光盘软件与应用》2014年第17期293-293,295,共2页金磊 
传统的有线网络由于受到环境等条件的制约,在各方面都存在着亟需解决的问题,那么,发展可行的无线通信网络技术也就成为网络发展的必然趋势。本文对无线网络安全协议的形式化方法进行了全面的概述,分析了无线网络的安全威胁以及具体表现...
关键词：无线网络安全 形式化分析 安全协议 
一种基于AVISPA的安全协议形式化分析方法
《中国电子商情（通信市场）》2014年第1期53-58,共6页张鑫 王勇军 付绍静 
项目来源于教育部高等学校博士学科点专项科研基金资助课题,N020124307110014.
形式化方法是分析和验证安全协议的有效手段.AVISPA工具集是一套建立和分析安全协议模型的形式化自动分析工具,结合SPAN可以对安全协议进行直观而全面的分析并得出结论.本文通过将CAS＋规范引入到AVISPA工具集中来对协议进行安全性的分...
关键词：安全协议 CAS+ 
一种颜色Petri网的电子商务协议分析方法被引量：1
《小型微型计算机系统》2013年第11期2594-2598,共5页王宝文 卢贝 司亚利 刘文远 
河北省重大技术创新项目(09213562Z)资助;河北省自然科学基金青年科学(G2011203195)资助
针对现有颜色Petri网方法未能分析时限性的缺点,提出一种基于颜色Petri网的电子商务协议分析方法,用于分析可追究性、公平性和时限性三个重要安全属性.针对时限性建立了表示主体是否成功接收消息的状态颜色集和主体自定义的时间颜色集,...
关键词：形式化分析方法 电子商务协议 颜色PETRI网 CPN TOOLS KZG协议 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部