形式化分析方法相关论文
为了解决由于Internet的开放性所引起的信息传递安全问题,Netscape公司提出了安全套接层协议,为客户端和服务器之间通信提供信息保......
密码协议安全性分析对于保障计算机网络的安全通信具有重要意义。本文主要研究运用形式化技术分析密码协议的理论与技术。研究成果......
本文提出了一种改进的BAN逻辑与串空间相结合的安全协议形式化分析方法,此方 法将两种方法的优点结合,可以有效地分析协议的安全性......
针对现有颜色Petri网方法未能分析时限性的缺点,提出一种基于颜色Petri网的电子商务协议分析方法,用于分析可追究性、公平性和时限......
安全属性的基于特定分析方法和限于特定属性的形式化描述严重影响了安全协议形式化分析方法的有效性和适用性。为解决这个问题，本文......
针对认证测试理论在测试组件构造方面缺少具体形式化构造规则的不足,根据协议主体在认证测试中的角色特点,以及包含惟一源发消息的......
运用串空间这一前沿的安全协议形式化分析方法，对kerberos协议的安全性进行了分析，得出了协议满足认证性和机密性的结论，并给出了一种......
安全协议是网络安全的重要因素，但是它并不完善．我们需要用形式化的方法去分析它是否具有相应的安全属性.本文主要分析了三类典型的......
摘 要：网络信息环境下大数据的兴起为情报学领域带来新机遇和新挑战，该文简述了情报与情报分析的概念，指出情报分析员面临的现实挑战，......
安全协议在网络信息安全中扮演着重要角色,但保证安全协议的正确是一个很困难的问题。现在,许多形式化方法都被用来分析安全协议,......
近年来,认证测试定理得到了改进,并应用于各种安全协议的分析。但是这些改进定理在应用范围和准确性方面存在一定的缺陷。针对这些......
<正>5.5系统集成接口管理5.5.1生命周期模型接口实施是系统集成工作中的一部分,为了有序可控地开展工作,接口实施过程应遵循一定的......
信息安全的技术保障是信息安全保障体系的重要支撑环节,没有技术的有力支撑,我国的信息安全就如同建在沙滩上的高楼,随时有可能出......
安全协议的安全性是网络与信息安全的重要基础,运用形式化方法分析安全协议已成为目前研究的主要热点。本文主要研究运用形式化技......
安全协议的安全性是网络安全的重要基础，运用形式化方法分析安全协议的安全性已成为目前研究的主要热点。本文主要研究运用形式化技......
项目背景南京邮电大学计算机系于2001年起,就对密码协议形式化分析方法研究课题向国家有关部门提出了申请.该课题先后得到了国家自......
