1) 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.
将主体角色发送和接收消息的行为分别表示为相应的主体角色发送进程和接收进程,定义前缀(串行)和并发运算为主体角色进程演进的算子,并进一步将主体角色进程演进的状态系统描述为密码协议的串空间图。
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) 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归纳法等方法的优点所提出的一种新的密码协议形式化模型,它可为密码协议安全性的证明提供新的方法。
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
混合串空间
补充资料：空间心电向量图
空间心电向量图
记录心脏在各瞬间产生的电动力在空间的方向及大小，可以每瞬间心电向量或瞬间向量来表示。将这些按时间顺序产生的各瞬间向量尖端在空间的轨迹连接起来，即形成一个环，称为"空间心向量环"。空间心电向量环投影在额面、右侧面和横面，则形成平面心向量环，心向量图就是这三个平面心向量环的记录，一般心向量图所记录到的为心房除极产生的P环，心室除极产生的QRS环和心室复极产生的T环。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条