您要查找的是不是：
- 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 一种描述协议的新模型:线索空间模型
- Strand Space Model of ISI Payment Protocol and Its Fairness Analysis 模型及其公平性分析
- Improvement of Athena Approach Based on Strand Spaces Model 基于串空间模型的Athena方法的改进
- Keywords security protocol;strand space model;authentication tests;improved authentication tests;AAAP algorithm;authentication protocols; 安全协议;串空间模型;认证测试方法;改进的认证测试方法;AAAP算法;认证协议;
- strand space model 串空间模型
- Generalized strand space model 广义串空间模型
- Formal specification and verification of andrew secure RPC protocol based on strand spaces model 基于串空间模型的Andrew RPC协议的分析与验证
- We present an EVP address space model for the information grid. 针对此问题,本文提出了一个EVP信息网格地址空间模型。
- Keywords: VBARX, system identification, state space model, modal parameters. 关键词：VBARX、系统识别、状态空间、模态参数。
- First, it is assumed that the polytope exists in the system matrix, input matrix and measure matrix of the stale space model. 首先，假定多胞型不确定参数存在于状态空间模型的系统矩阵、输入矩阵和量测矩阵中。
- Compared with the vector space model, the probability model is more effective on describing a users interests. 对比实验表明,概率模型比矢量空间模型更好地表达了用户的兴趣和变化。
- Through the vector space model, text clustering, genetic algorithms to try a new method summary of the text. 通过空间向量模型、文本聚类、遗传算法等成熟的技术尝试一种新的文本摘要方法。
- We propose a text vector space model (VSM) based on suffix tree and implement a text categorizing system on the model. 摘要本文在面向网络内容分析的前提下，提出了一种基于后缀树的文本向量空间模型(VSM)，并在此模型之上实现了文本分类系统。
- This paper introduces a text clustering method based on VSM (vector space model). 摘要研究了一种基于向量空间模型的文档聚类方法。
- She twirled a strand of hair round her finger. 她把一绺头发卷绕在手指上。
