| 释义 |
Strands Spaces
基本例句
串空间
Strand space model is a new formal analysis tool to the analysis of cryptogram protocol.串空间模型是一种新兴的密码协议形式化分析工具。
Theory of strand spaces model and corresponding authentication test were extended by extending the message term, the in-term relation and penetrator's model.通过扩展消息项、子项关系以及入侵者模型，扩展了串空间模型及相应的认证测试方法。
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.串空间模型是由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协议为例，利用扩展的串空间模型与理论分析，发现了一个攻击，为了避免此类攻击的发生，提出了设计密码协议时应注意的事项。
Extending the Theory of Strand Spaces串空间理论扩展 |