形式化分析方法

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=信息网络安全x
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于递归认证测试的SIP协议形式化分析
《信息网络安全》2024年第10期1586-1594,共9页姚萌萌 王宇 洪瑜平 
国家重点研发计划[2022YFB4502000]。
文章以形式化分析方法证明协议安全为研究目的,以具有灵活性、开放性、可伸缩性等特性的SIP协议为研究对象,运用基于串空间理论改进的递归认证测试形式化分析方法,分析了一种BAN逻辑证明安全的SIP身份认证协商协议,发现了该协议执行过...
关键词：SIP协议 递归认证测试 串空间 形式化分析方法 
一种基于拜占庭容错的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]
建立在协议主体参数新近一致性上的主体关联度由于能够正确反映协议安全属性与协议结构、消息组件和消息参数的逻辑关系,因此不仅能够为安全协议的正确性分析提供准确严谨的形式化判断依据,还能进一步降低协议分析的复杂度。为此,文章...
关键词：安全协议 认证测试 关联度 形式化分析 
密码协议形式化分析方法研究被引量：5
《信息网络安全》2005年第7期24-26,共3页王汝传 
项目背景 南京邮电大学计算机系于2001年起,就对密码协议形式化分析方法研究课题向国家有关部门提出了申请.该课题先后得到了国家自然科学基金(60173037和70271050)、江苏省自然科学基金和江苏省自然科学基金预研项目(BK200421 8)、江...
关键词：形式化分析方法 密码协议 计算机信息处理技术 国家自然科学基金 2001年 重点实验室 江苏省 计算机系 研究课题 研究计划 科技项目 发展趋势 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部