1) strand space
串空间
1.
Application of strand space theory to formalization analyses of network protocol;
串空间理论在网络安全协议形式化分析中应用
2.
The Strand Space Model of NSSK Protocol and Its Analysis;
NSSK协议的串空间模型及分析
3.
Guttman presented a new cryptographic formal model, namely the strand space model,which was based on the Dolev-Yao algebraic model and combined with the advantages of Woo-Lam model, CSP, Schneider s rank function and Paulson induction method.
串空间模型是在Dolev-Yao代数模型的基础上,结合Woo-Lam模型、CSP、Schneider秩函数和Paulson归纳法等方法的优点所提出的一种新的密码协议形式化模型,它可为密码协议安全性的证明提供新的方法。
2) strand spaces
串空间
1.
A new algorithm for constructing invariant-sets based on strand spaces;
一种基于串空间的不变集生成算法
2.
Formal analysis to revised Helsinki protocol based on strand spaces;
改进型Helsinki协议的串空间模型分析
3.
Formal specification and verification of andrew secure RPC protocol based on strand spaces model;
基于串空间模型的Andrew RPC协议的分析与验证
3) diagrams of the strand spaces
串空间图
1.
We further describe the state systems developed by the indexed principal processes as the diagrams of the strand spaces.
将主体角色发送和接收消息的行为分别表示为相应的主体角色发送进程和接收进程,定义前缀(串行)和并发运算为主体角色进程演进的算子,并进一步将主体角色进程演进的状态系统描述为密码协议的串空间图。
4) Subspace cluster
子空间串
5) strand space model
串空间模型
1.
Research on the Formal Analysis Technology to Security Protocols Based on Strand Space Model;
基于串空间模型的安全协议形式化分析技术研究
2.
The 3GPP(Third Generation Partnership Project) authentication and key agreement(AKA) was formally analyzed with the strand space model and authentication tests.
基于串空间模型理论及认证测试方法形式化分析了第3代伙伴计划(3GPP)认证密钥交换协议,指出了该协议应用于不安全的信道时存在保密性和认证正确性的缺陷,同时给出了对该协议的2个攻击方法。
3.
In the paper we discuss the basic concept of strand space model and test method based on strand space model SSL3.
形式化分析技术是揭示安全协议是否存在漏洞的重要途径,串空间模型是一种基于定理证明的、新兴的安全协议形式化模型。
6) mixed strand space
混合串空间
补充资料：《伤寒医诀串解》
《伤寒医诀串解》 《伤寒医诀串解》 伤寒著作。六卷。清·陈念祖撰。作者融会诸家学说，以串解的形式为主，阐明其人研读《伤寒论》的心得，冀使读者对《伤寒论》诸篇均有一个纲领性认识。原书缺漏不全，后经其侄陈道著补订刊行。现有十几种清末刻本，几种石印本，1949年后有排印本。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条