形式化分析方法

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

检索结果分析

结果分析中...
选择条件：
  • 学科=自动化与计算机技术—计算机系统结构x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于递归认证测试的SIP协议形式化分析
《信息网络安全》2024年第10期1586-1594,共9页姚萌萌 王宇 洪瑜平 
国家重点研发计划[2022YFB4502000]。
文章以形式化分析方法证明协议安全为研究目的,以具有灵活性、开放性、可伸缩性等特性的SIP协议为研究对象,运用基于串空间理论改进的递归认证测试形式化分析方法,分析了一种BAN逻辑证明安全的SIP身份认证协商协议,发现了该协议执行过...
关键词：SIP协议 递归认证测试 串空间 形式化分析方法 
安全协议形式化分析方法研究综述
《化工自动化及仪表》2024年第3期367-378,共12页缪祥华 黄明巍 张世奇 张世杰 王欣源 
介绍了安全协议的基本概念和分类,然后对安全协议形式化分析方法进行了详细介绍,包括基于模态逻辑的方法、基于模型检测的方法、基于定理证明的方法和基于可证明安全性理论的方法。其中,基于模型检测的方法是目前应用最广泛的一种方法,...
关键词：安全协议 形式化分析 模态逻辑 模型检测 定理证明 可证明安全性 
一种基于拜占庭容错的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页闫靖晨 高宏彪 程京德 
在高度信息化社会,各种安全的密码协议是保证网络空间中众多应用所必须的安全性以及公平性的必要技术手段.由于密码协议的安全漏洞会给网络空间应用带来严重的安全问题,甚至造成不可估量的损失,因此密码协议的安全性分析成为重要课题.目...
关键词：密码协议 形式化分析 定理证明 模型检测 前推 
基于PVS的数据库安全策略形式化分析方法被引量：1
《中国科学技术大学学报》2013年第7期591-598,共8页李昊 张敏 王榕 
核高基重大专项(2010ZX01042-001-001-05);国家自然科学基金重点项目(91118006);中国高技术研究发展(863)计划(2011AA0123824001)资助
基于安全策略模型的形式化分析对于数据库管理系统达到高安全保障等级的重要性,提出了新的基于PVS的数据库安全策略模型分析方法,该方法结合了PVS函数式语言的特点,通过一系列算法和流程展示了模块化的系统状态、安全属性、操作规则的...
关键词：形式化方法 数据库管理系统 PVS定理证明 
协议主体密钥在测试组件构造上的性质分析被引量：6
《计算机工程与应用》2013年第6期114-117,共4页余磊 魏仕民 
安徽高校省级自然科学研究项目(No.KJ2012B158)
针对认证测试理论在测试组件构造方面缺少具体形式化构造规则的不足,根据协议主体在认证测试中的角色特点,以及包含惟一源发消息的消息组件在认证测试中的作用和性质,对消息组件进行分类和定义并提出认证测试模型的概念,基于认证测试模...
关键词：安全协议 形式化分析方法 串空间模型 认证测试 消息组件 测试组件 
一种安全协议的形式化分析方法被引量：7
《计算机工程》2010年第7期82-83,86,共3页王昕 袁超伟 
对快速、高效的形式化分析安全协议进行研究,提出"信任域"的概念。采用与图形化相结合的分析方法,使得协议流程的推导过程清晰、直观。该方法直接分析协议参与主体的信任域,简化分析过程和步骤。实验结果表明,与传统方法相比,该方法更...
关键词：形式化分析 安全协议 BAN逻辑 NSSK协议 
一种新的安全协议形式化分析方法--证据逻辑被引量：1
《计算机工程》2008年第2期92-94,共3页陆阳 肖军模 刘晶 
国家自然科学基金资助重点项目“信息防护关键技术研究”(69931040)
形式化分析技术对于安全协议的正确设计至关重要,考虑到现有信仰逻辑分析方法的不足,文章提出了一种新的安全协议形式化分析方法——证据逻辑,即通过对协议主体证据的推理来实现安全协议的形式化分析。与现有的方法相比,该方法不仅能够...
关键词：安全协议 形式化分析 证据逻辑 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部