您要查找的是不是：
- Strand space model is a new formal analysis tool to the analysis of cryptogram protocol. 串空间模型是一种新兴的密码协议形式化分析工具。
- FabregaN Herzog and Guttman proposed a kind of formal methods named STRAND SPACE MODEL,which uses a kind of order graph between its nodes existing casual relationship to represent protocol executions. 串空间(strand Space)模型是由Fabrega、Herzog和Guttman三人提出的一种形式化方法,它使用一种结点间存在因果关系的有向图来表示协议的运行。
- Taking TLS protocol for example, strand space model and theory extended are used to find an attack. In order to avoid the kind of attack, a piece of strategy to be paid attention to is put forward when cryptographic protocols are designed. 以TLS协议为例，利用扩展的串空间模型与理论分析，发现了一个攻击，为了避免此类攻击的发生，提出了设计密码协议时应注意的事项。
- Analysis of CCITT X.509 Based on Strand Space Model 基于Strand Space模型的CCITT X.;509协议分析
- Theory of strand spaces model and corresponding authentication test were extended by extending the message term, the in-term relation and penetrator's model. 通过扩展消息项、子项关系以及入侵者模型，扩展了串空间模型及相应的认证测试方法。
- A New Model to Describe Protocols: Strand Space Model 一种描述协议的新模型:线索空间模型
- She twirled a strand of hair round her finger. 她把一绺头发卷绕在手指上。
- Tell that joker to stop using my parking space. 叫那个家伙不要占用我的停车场。
- Strand Space Model of ISI Payment Protocol and Its Fairness Analysis 模型及其公平性分析
- Extending the Theory of Strand Spaces 串空间理论扩展
- There is plenty of space here to move about. 这里有很大的活动空间。
- We're a bit cramped for space in this attic. 在这间阁楼里我们有点活动不开。
- There isn't much space left for your luggage. 剩下的地方不太够你放行李的。
- It's easier for small car to find a parking space. 小型汽车比较容易找到停车空地。
- The hotel has garage space for thirty cars. 这家饭店有停放30辆小汽车的车位。
- There isn't enough space for my address. 我写地址的地方不够。
- The Strand is one of London's busiest thoroughfares. 斯特兰德大街是伦敦最热闹的要道之一。
- Space rockets are being sent up all the time. 现在随时都有火箭发射。
- Space your words when you write. 写字的时候要把字均匀地隔开。
- Converting the Strand Spaces'Algebraic Flaws to Actual Attacks 串空间代数缺陷到实际攻击的转换
