协议形式化分析相关论文
本文分析了模型检测技术和理论生成技术的优点与不足,并在此基础上提出了MT(Model checking-Theory induction)组合分析技术,该技......
OAuth 2.0协议为新型开放授权协议，主要解决用户账号关联和资源共享问题.但其弱安全性导致各网络公司海量用户信息泄露，且OAuth ......
为了增强通讯网络安全性,研究者致力于通讯协议的形式化分析与验证。Abdelmajid在Kerberos协议中添加用户物理位置作为新的认证因......
本文采用基于SPetri网模型的方法形式化分析了无线传感器网络安全协议,指出了其中的中间人攻击缺陷,并对协议进行了改进,对协议的......
安全协议形式化分析与验证技术是计算机网络安全领域的重大课题之一。形式化方法多种多样。文中首先描述了形式化分析的前提,然后......
安全协议的主要目标是使多个通信主体能够在开放式的网络环境(如Internet)中正确地进行身份认证和安全地交换敏感数据(如会话密钥......
认证协议的形式化描述及其安全性分析是安全协议形式化分析的关键问题之一.为了解决以往分析方法中协议规范形式化描述存在的问题,......
采用认证测试方法对X．509协议的认证正确性进行了分析。该方法比BAN逻辑分析得到的结论更具体，比传统串空间理论构造集合寻找M—mini......
在现有移动支付方案研究的基础上,提出一种新的基于第三方的安全移动支付方案.该方案以第三方支付平台为基础,在交易过程中采用＂一......
计算机网络中,安全协议为通信双方的信息交互提供安全保证,是计算机网络安全的基础.而当安全协议中存在安全漏洞时,会对信息安全产......
介绍了wi—Fi联盟的WPS标准并给出了对应的攻击方法——暴力破解攻击，使用CPN对WPS协议及改进协议进行形式化分析并证明AP限制重新......
