串空间理论相关论文
结合可信计算与安全协议技术,设计了基于代理的属性远程证明协议,并应用串空间理论进行分析与证明.在公钥基础设施框架下,由可信第......
串空间理论自提出后成为了一种重要的协议形式化分析方法。由于理想结构的特殊性使得Guttman等人在文献[1]中第一次引入了关于消息......
该文采用形式化逻辑模型,对安全协议的形式化分析和验证技术进行研究.根据采用的技术和方法的不同,形式化逻辑模型又分为逻辑推导......
在网络通信日益普及的今天，信息成为当今人类社会的重要战略资源，所以必然会面对越来越多的安全威胁。随着人们对通信安全性的要求日......
与传统网络相比，无线局域网具有无可比拟的灵活性与便利性，并由此得到了极为广泛的应用。然而，由于无线信道固有的开放性，其通信的安全......
安全协议提供安全服务，是保证网络安全的基础。近年来，安全协议越来越多地用于保护因特网上传输的各种交易，保护针对计算机系统的访问......
无论在计算机系统硬件设计方面还是在软件设计方面，随着设计规模越来越复杂和庞大，会产生越来越多的设计缺陷和错误等。用一些传统的......
目前采用形式化方法进行Ad hoc路由协议安全性分析还面临着诸多挑战。论文在串空间理论的基础上提出了一种Ad hoc路由协议安全......
基于恶意攻击软件的工作原理对串空闻理论进行了扩展；分析了TLS协议的安全性，发现了一个在其它文献中未曾言明的攻击，并给出了相应的......
运用串空间这一前沿的安全协议形式化分析方法，对kerberos协议的安全性进行了分析，得出了协议满足认证性和机密性的结论，并给出了一种......
提出了一种利用陷门单向函数的性质对TMN协议进行改进的一般形式，利用串空间理论证明了它的安全性，并给出了几个具体的实现形式.......
提出绑定项理论并用该理论构建认证协议的必要条件定理,使用串空间理论证明该定理和3个典型认证协议。该理论能够迅速、有效地判定......
普适计算是继大型主机计算、桌面计算后的第三代计算,它将物理世界与计算世界融合为一体,使得人们与计算的联系空前紧密。随着各类......
文章设计了一种基于椭圆曲线密码的RFID/NFC安全认证协议。该协议不仅满足RFID系统最基本的相互认证、机密性、匿名性等性质,且能......
