认证测试论文

基于串空间模型的形式化方法的扩展与应用
论文摘要安全协议是实现信息安全的基础,是网络安全通信的核心技术,它的正确性对网络的安全起着非常重要的作用,因此其自身的安全性问题已成为安全研究的重要内容。然而怎样保证安全协议的...
3G移动通信系统中基于认证测试的EAP-AKA协议研究
论文摘要第三代移动通信系统（3G）是一个在全球范围内覆盖与使用的网络系统,它向用户提供高质量多媒体通信,不仅支持传统的话音与数据业务,还支持交互式业务与分布式业务,如多媒体业务...
基于串空间理论的安全协议分析
论文摘要安全协议提供安全服务，是保证网络安全的基础。近年来，安全协议越来越多地用于保护因特网上传输的各种交易，保护针对计算机系统的访问。由于验证安全协议自身的安全性是十分困难的...
基于串空间模型的安全协议验证及算法研究
论文摘要伴随着计算机网络的普及和电子商务新政务的发展，信息安全问题变得越来越关键。要保证信息的安全性，仅仅依赖良好的加密算法是不够的，在实际应用中，还需要有可信的机制为各个独立...