2.1.7 字符串空间 基本概念 用字符型数组存储字符串，通常称这种数组为字符串空间（String Space）。对于每个字符串要记住两个信息： 一是其下标（index）；一是其长度（length）。
基于12个网页-相关网页
We propose a modified main ex- change of LKE2 for this bug. This analysis also gives a practical base for further application of extended Strand Spaces in analyzing complicated protocols which include plenty cryptographic primitives.
对IKE2的分析也为扩展串空间理论在复杂协议分析中的应用提供了一个实践基础。
参考来源 - IKE2协议的安全性分析 in C·2,447,543篇论文数据，部分数据来源于NoteExpress
串空间模型是一种新兴的密码协议形式化分析工具。
Strand space model is a new formal analysis tool to the analysis of cryptogram protocol.
串空间理论是一种新兴的用于密码协议形式化分析的方法。
Strand space theory is a method for stating and proving correctness properties for cryptographic protocols.
串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。
Strand Space Model (SSM) is a practical, intuitive and strict formal method for security protocol analysis.
应用推荐