ProVerif相关论文
安全协议运用密码算法,实现认证和密钥分配等目标。但是安全协议本身仍然存在安全隐患,对安全协议的各类攻击,导致个人、企业或国......
公平性是电子商务协议必须具备的性质。本文采用进程代数的方式对FEEP协议进行了形式化描述,基于ProVerif对FEEP协议的公平性进行......
由于越来越多的人们使用多媒体社交网络来共享多媒体信息或从多媒体社交网络中获取多媒体信息.因此,多服务器认证在多媒体社交网络......
随着无线网络技术的迅速发展,民用飞机机载信息域在机场环境下,使用Gatelink与机场Wi Fi连接,实现与机场及航空公司专网的通信。为......
形式化方法为安全协议分析提供了理论工具,但经过形式化验证过的协议标准在转换为具体程序实现时,可能无法满足相应的安全属性.为......
投票是人们使用自己选举权力来表达自己对某一问题的观点的一种方式。随着计算机技术和通信技术的不断发展,人们利用计算机在任何......
通过应用π演算建模分析WTLS握手协议，得出其存在密钥泄露的缺陷，并加以改进。在密钥协商过程中使用幂运算处理随机数，并用RSA加密算......
铁路无线通信系统作为车地通信信号的传输载体,是列车运行控制系统的关键组成部分,是保障列车行车安全的重要基础设施,也是未来建......
为了对自动信任协商（ATN）的安全性进行形式化分析与验证，文中借鉴安全协议的形式化分析方法，提出一种用进程代数Applied7c演算对ATN建......
Open ID Connect协议是最新的单点登录协议之一,已经广泛应用于用户身份认证领域,其安全性受到了人们的重点关注。为增强Open ID C......
网络安全是网络空间安全的一个重要研究领域,网络安全协议则是实现网络安全的核心技术.在2017年最新发布的TLS1.3协议是实现网络安......
采用应用pi演算来建模自动解决争端的公平电子商务协议，基于一致性给出了公平性的形式描述方法，利用应用pi演算的自动化分析工具——......
会话密钥的安全影响了整个通信网络的安全,前向安全性是密钥交换协议中保证会话密钥安全的一种特殊的安全属性。首先扩展了应用PI......
可信平台模块是可信计算技术的关键部件，其安全性直接影响可信评估的结果。使用演算对可信平台模块进行了形式化建模，并利用该模型对......
