串空间模型论文
基于串空间模型的形式化方法的扩展与应用
论文摘要安全协议是实现信息安全的基础,是网络安全通信的核心技术,它的正确性对网络的安全起着非常重要的作用,因此其自身的安全性问题已成为安全研究的重要内容。然而怎样保证安全协议的...移动DRM中的公平交换及关键技术的研究
论文摘要随着无线网络的发展,移动通信网络在业务和性能方面都比现有的GSM和窄带CDMA有了很大提高,这使得各种丰富的移动网络业务成为可能。但是由于数字媒体内容的易转发,复制,篡...基于串空间理论的电子商务协议安全性研究
论文摘要随着网络通信技术的发展,电子商务已经渗透到人们的日常生活中。电子商务协议的安全性是决定电子商务发展的关键因素之一,也是制约电子商务发展的瓶颈。目前分析电子商务协议安全性...安全协议的Athena方法研究
论文摘要Athena方法是安全协议分析领域中的一种新的形式化分析方法。本文首先对其进行了深入分析,然后针对安全协议形式化分析领域中的两个重要问题——类型缺陷攻击问题、组合协议猜...基于串空间模型的安全协议验证及算法研究
论文摘要伴随着计算机网络的普及和电子商务新政务的发展,信息安全问题变得越来越关键。要保证信息的安全性,仅仅依赖良好的加密算法是不够的,在实际应用中,还需要有可信的机制为各个独立...