协议组合逻辑相关论文
近年来随着无线通信技术发展突飞猛进，移动通信已成为最具发展活力的产业之一。而无线局域网(WLAN)和第三代移动通信网络(3G)作为提......
无线局域网（WirelessLAN）作为有线局域网的延伸和补充，其优势在于较高的接入速率、部署方便、成本较低，但缺陷在于其覆盖范围有限；第三......
目前,大量的安全协议已经被设计出来,如何验证这些协议是否满足声称的安全性是协议设计与分析的一个重要研究领域。为了验证和分析......
随着智能电网中智能终端和移动作业终端广泛应用和接入,电力系统中传输数据类别更为复杂,对数据安全要求更高。为满足以上需求,提......
针对4G无线网络中移动终端的接入认证问题，基于自证实公钥系统设计了新的安全接入认证方案，并运用协议演绎系统演示了该方案形成......
扩展协议组合逻辑PCL,提出了建模移动Ad Hoc网络和分析路由协议安全性的符号模型PCL-RP模型.PCL-RP模型中,为模型化网络节点移动和......
IEEE P802.11 sTM/D1.01中EMSA认证协议是无线网状网络(WSN)安全的重要保证。基于协议组合逻辑形式化分析了EMSA协议的安全性,发现......
介绍了PCL协议组合逻辑系统的语法、语义和证明系统，并与其他分析方法进行了比较．详述了PCL证明顺序组合安全协议的认证性和私密性等......
安全协议的验证是个不可判问题.为了对实例化空间逻辑ISL的语义表达能力给出理论上的衡量与评价,选择另一种实用的协议组合逻辑PCL......
3GPP—AKA协议在第三代移动通信的安全性方面起着至关重要的作用，它保证了移动用户MS与VLR／HLR之间的双向认证及密钥协商。文中通过......
针对THNS协议属性不满足PCL认证性缺陷问题,提出RNS协议。该协议将发起者产生的随机数、身份和预期接收者的身份用相关密钥进行加......
云计算利用网络使IT服务变得弹性可变,如果用户需要登录到云端来使用服务与应用,系统需要确保使用者的身份合法,才能为其服务。为......
于空间信息网络（spaceinformationnetwork，SIN)具有高动态拓扑、卫星计算和通信资源受限等特点，当群组飞行器需要与卫星快速接入认证......
国际标准IEEE802.16e-2005中PKMv2协议的安全性是WiMAX无线网络安全的重要保证。论文基于协议组合逻辑（PCL）分析了PKMv2协议中认证协......
安全协议在信息安全中起着至关重要的作用。在实际应用中,人们需要可信的机制来为通信实体进行身份认证和分发密钥。然而,已有的安......
无线局域网WLAN(Wireless Local Area Network)由于其安装灵活、使用方便而被广泛应用与企业、办公室、家庭、机场、医院以及抢险......
对基于可信第三方的平台身份证明方案进行了研究,提出了一种用证书和令牌标识可信计算平台并直接使用令牌证明平台身份的方案。与......
针对4G无线网络中移动终端的接入认证问题,基于自证实公钥系统设计了新的安全接入认证方案,并运用协议演绎系统演示了该方案形成的......
由于无线传输信道的开放性,任何具有接收能力的设备都可以随时对网络进行窃听,因此,无线网络与有线网络相比较更容易遭受窃听、非......
近年来,为了保证通信网络和计算机的安全,密码协议的应用范围不断扩大,构成也越来越复杂。人们期望通过利用小型的、可以验证安全......
随着无线网络的普及和应用,人们对无线网络的依赖程度越来越高。尤其是作为下一代无线网络的WLAN Mesh网络,以其容量较高,迅速部署......
针对基于对称密码学、公钥证书和身份密码学三类3G-WLAN互连网络接入认证协议存在的安全问题,本文提出一种基于无证书密码学的3G-W......
安全协议是一种运行在计算机网络或分布式系统中、借助于密码算法来达到密钥分配和身份认证等安全目标的通信协议,是解决计算机网......
随着无线网络与因特网的不断互连,移动通信将成为最具发展活力的产业之一。由于数据通信和多媒体业务需求的发展,适应移动数据、移......
选取认证密钥分配协议Otway-Rees协议作为研究对象,利用协议组合逻辑(PCL)作为协议证明工具,对安全协议形式化分析及证明进行了研......
