串空间理论(strand space theory)和模型是当前避免状态爆炸、提高协议形式化分析效率的有效方法.本文通过一个具体的认证协议例子来说明它的特点.
基于20个网页-相关网页
The strand space theory proves the security of protocol.
基于串空间理论对协议的安全性进行了证明。
·2,447,543篇论文数据,部分数据来源于NoteExpress
Strand space theory is a method for stating and proving correctness properties for cryptographic protocols.
串空间理论是一种新兴的用于密码协议形式化分析的方法。
youdao
Strand-space theory based on vicious-attack-software mechanism is extended.
基于恶意攻击软件的工作原理对串空间理论进行了扩展;
应用推荐
模块上移
模块下移
不移动