1) Subspace cluster
子空间串
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) 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.
将主体角色发送和接收消息的行为分别表示为相应的主体角色发送进程和接收进程,定义前缀(串行)和并发运算为主体角色进程演进的算子,并进一步将主体角色进程演进的状态系统描述为密码协议的串空间图。
5) optimal mixture subspace ensemble
最优综合子空间串
1.
Radar target recognition of based on optimal mixture subspace ensemble using range profiles;
基于最优综合子空间串的雷达目标识别
6) 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.
形式化分析技术是揭示安全协议是否存在漏洞的重要途径,串空间模型是一种基于定理证明的、新兴的安全协议形式化模型。
补充资料：油甘子糖串
油甘子糖串
主料
鲜油甘子1/2斤（约320克），砂糖4两（约160克），麦芽糖2两（约80克），清水1/2杯。
做法
1、油甘子洗净后先用清水浸两小时去苦水，再浸糖水2小时，用竹签由小到大每串穿5粒候用。
2、用小火将糖与清水煮溶，加入麦芽糖改大火继续煮，待起小泡、中泡，最后起大泡时，用筷子蘸少许糖液，若滴入水中凝成硬丝块即熄火。
3、趁热将糖胶均匀地淋于表面，垂直倒放，摊冻。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。