本文分析了简单配对协议中数字比较协议在Just Works模型中的应用,针对其存在的中间人攻击问题,提出了一种新的安全协议,并运用Spi......

本文研究了SSL协议的协议栈结构，重点分析了SSL3.0安全协议中的握手过程。在此基础上，基于CSP(Communicating Sequential Processe......

随着信息服务和商业活动等越来越多地出现在开放的通讯网络上，用以保证上述服务的网络安全协议的可靠性成为备受人们关注的焦点。然......

阜阳市局 ￡4a 局长——_MINtkMMtgj’＃lnH＄B——q.M——D收束志不他只邀狲位J则【科校为先导推动地租工作.B为广为戳民U用凶盼引眯B.......

密码协议可以维护网络通信和其中的各个分布式系统的安全,为了让恶意攻击者无法获取机密信息或者借安全漏洞进行不公平认证,需要对......

Ｓｐｉ演算通过在Ｐｉ演算中增加描述密码学协议的原语支持对基于共享密钥的安全协议的描述，通过测试等价Ｓｐｉ演算简化了所描述的安全协议的验证，它......

安全性是新一代密钥交换协议的关键,而Spi演算是研究协议安全性的一种形式化方法,文中采用Spi演算研究了IKEv2协议的安全属性。针......

<正> Spi演算是M.Abadi和A.D.Gordon在pi演算基础上加以扩充,从而实现用pi演算来描述和分析基于密码学的安全协议的模型。pi演算作......

针对安全协议安全属性是否满足，缺乏有效性能评价方法的现状，大都使用SPI演算或相近的进程代数方法进行建模。利用这种方法不仅能够......

当形式化描述安全协议时，不同的规范语言采用不同的推理方法，其结果不能直接或容易地进行比较，因此在不同的框架中建立明确的关联是必......

使用SPI演算对主动网络的需求装载代码协议进行分析,发现其存在被重放攻击的安全漏洞.由于主动网络是计算-存储-转发模型,不同于传......

在安全协议的各种验证方法中,进程代数方法依托完善的进程演算理论得到了很好的应用。Spi演算在PI演算的基础上扩充了密码操作原语......

基于Spi演算和控制流分析，提出了一个密码协议的新分析方法。随后利用该方法对Beller-Chang—Yacobi MSR协议进行了分析，通过证明该......

对标准Spi演算的语法及语义进行了合理扩展,并利用扩展后的Spi演算对大型复杂协议SSL V3.0的安全性进行了形式化分析,得出了与其他......

移动代理能够自主地在异构的网络间迁移.在代理迁移到下一个服务器之前,需要解决代理迁徙过程中的安全性问题,即如何进行代理与服......

安全协议是许多分布式系统安全的基础，也是MANET网络的基础，确保MANET路由协议的安全运行是极为重要的。对于MANET的特点，设计一个可......

讨论了针对共享密钥安全协议的Ｓｐｉ演算，而且对安全协议的Ｓｐｉ演算描述和验证进行了深入的探讨。......

安全协议是网络通信和安全应用的基础，是安全基础设施的重要组成部分。安全协议的设计和分析是协议工程领域主要的研究内容，在设计、......

Ad Hoc网络的前身是分组无线网(Packet Radio Network)。对分组无线网的研究源于军事通信的需要,并已经持续了近20年。1991年成立......

spi演算以进程代数理论作为基础,适合多轮并发条件下安全协议的证明。通过在spi系统中引入消息起源测试成功表示了签名消息的安全......

Intemet上不同的安全域间要实现信息资源的安全访问首先需要认证。目前常用的认证协议是Kerberos协议，但在网络环境下，该协议无法对......