形式化分析方法

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

检索结果分析

结果分析中...
选择条件：
  • 学科=电子电信—通信与信息系统x
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于SAT的安全协议惰性形式化分析方法被引量：2
《通信学报》2014年第11期117-125,共9页顾纯祥 王焕孝 郑永辉 辛丹 刘楠 
河南省科技创新杰出青年基金资助项目(134100510002);河南省基础与前沿技术研究基金资助项目(142300410002);数学工程与先进计算国家重点实验室开放基金资助项目~~
提出了一种基于布尔可满足性问题的安全协议形式化分析方法 SAT-LMC,通过引入惰性分析的思想优化初始状态与转换规则,提高了安全性的检测效率。另一方面,通过在消息类型上定义偏序关系,SAT-LMC能够检测出更丰富的类型缺陷攻击。基于此...
关键词：安全协议 形式化分析 布尔可满足性 惰性分析 类型缺陷攻击 
基于串空间理论的kerberos协议的安全性分析
《电脑编程技巧与维护》2010年第4期110-110,113,共2页杨杰 
运用串空间这一前沿的安全协议形式化分析方法,对kerberos协议的安全性进行了分析,得出了协议满足认证性和机密性的结论,并给出了一种新的kerberos协议的形式化证明方法,扩展了串空间理论在实用协议分析方面的应用。
关键词：串空间理论 安全协议 形式化分析方法 
一种安全DSR协议的形式化分析方法被引量：2
《解放军理工大学学报（自然科学版）》2009年第5期423-429,共7页刘晶 伏飞 肖军模 
国家自然科学基金资助项目(69931040)
目前安全DSR协议由于缺乏有效的形式化分析方法,难以发现一些隐蔽的安全漏洞。针对这一问题,通过分析DSR协议路由过程,给出了安全DSR协议的安全目标。提出了一种基于逻辑的安全DSR协议形式化分析方法,定义了能够反映安全DSR协议特性的...
关键词：移动自组织网络 安全路由协议 形式化分析 攻击 
安全协议形式化分析方法被引量：6
《信息工程大学学报》2008年第3期272-276,共5页韩继红 郭渊博 王亚弟 
国家自然科学基金资助项目(60503012)
安全协议的形式化分析是检验协议安全性的必要手段。为了实现协议的规范描述和合理完备的安全性验证,各种数学理论和人工智能方法被引进安全协议形式化分析与自动化验证领域。主要从逻辑方法、模型检测方法和证明方法3个方面对符号化的...
关键词：安全协议 形式化方法 逻辑 模型检测 证明 
安全协议的形式化分析方法研究被引量：3
《计算机应用与软件》2003年第5期48-50,71,共4页陈平 刘东喜 白英彩 
安全协议在网络信息安全中扮演着重要角色,但保证安全协议的正确是一个很困难的问题。现在,许多形式化方法都被用来分析安全协议,本文中我们研究各种方法的基本思想、它的优缺点、发展趋势以及方法之间的关系。最后,说明安全协议形式化...
关键词：通信协议 安全协议 形式化分析方法 信息安全 网络安全 计算机网络 
BAN类逻辑的由来与发展被引量：5
《清华大学学报（自然科学版）》2002年第1期96-99,共4页张玉清 吴建平 李星 
国家自然科学基金资助项目 ( 6 0 10 2 0 0 4);中国博士后科学基金
BAN(Burrows,Abadi and Needham)类逻辑可以辅助设计、分析和验证网络和分布式系统中的密码协议。该文介绍了 BAN逻辑的产生、成分和分析步骤 ,进而全面指出了 BAN逻辑的缺陷 ,由此而产生的改进的 BAN逻辑和现状 ,从而对 BAN类逻辑作了...
关键词：密码协议 协议分析 BAN类逻辑 形式化分析方法 协议理想化 推理规则 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部