• 基于颜色Petri网的安全协议分析

    基于颜色Petri网的安全协议分析

    论文摘要随着计算机网络应用的不断深入,对安全协议进行分析和研究已经成为信息安全领域的一个十分重要的研究方向。形式化分析由于其精炼、简洁和无二义性逐步成为分析安全协议的一条可靠和...
  • 叛徒追踪技术研究

    叛徒追踪技术研究

    论文摘要随着数字技术和网络技术的飞速发展,各种形式的多媒体数字作品(图象、视频、音频等)纷纷在各种类型的网络中发布,其版权保护正成为一个需要迫切解决的问题。在诸如付费电视系统、...
  • 无线局域网环境下密钥交换及认证机制的研究与改进

    无线局域网环境下密钥交换及认证机制的研究与改进

    论文摘要随着网络技术的飞速发展,无线局域网的应用也愈加广泛,如何保证无线局域网的安全性成为目前重要的研究课题。其中,密钥交换及相互认证机制是安全协议的重要内容,针对目前无线安全...