随着3G技术商用化在世界范围内展开，4G商用标准的遴选工作也在紧锣密鼓地进行着。作为当前最被看好的4G候选技术，LTE/SAE网络的性能......

针对EAP-AKA协议中存在的安全问题,提出了改进方案.通过在3G和WLAN接入网络间增设共享密钥实现了两者间的相互认证,并用串空间模型......

基于串空间模型理论及认证测试方法形式化分析了第3代伙伴计划（3GPP）认证密钥交换协议，指出了该协议应用于不安全的信道时存在保密性......

针对EAP-AKA协议中存在的安全问题,提出了改进方案。通过在3G和WLAN接入网络间增设共享密钥实现了两者间的相互认证,并用串空间模......

在安全协议的形式化分析方法中,串空间模型和基于串空间模型的协议认证分析方法是比较常用的验证方法。分析了DKNRP协议存在一定的......

TLS(传输层安全)协议被广泛用来保证Web的安全,为了分析其安全性,用串空间模型对其进行形式化描述,并用认证测试方法分别对客户端......

安全协议是构建网络安全环境的基石,是网络安全通信系统的核心技术,它的正确性对整个网络环境的安全起着至关重要的作用。然而如何......

挑战-应答协议只有满足特定的安全条件才能保证实现其认证目标,用串空间模型对满足约束条件的协议形式进行建模,分别在对称和非对......

随着网络的飞速发展,使得电子商务成为了大众广泛接受的一种商贸模式。电子商务安全协议作为切实保证交易双方信息数据安全,维护双......

EAP-AKA（Extensible Authentication Protocol-Authentication and Key Agreement）是WLAN的认证和密钥分配协议;认证测试是一种以串......

在安全协议的形式化分析方法中,串空间模型和基于串空间模型的认证测试方法是比较常用的验证方法。针对Need-ham-Schroeder协议存......