字符串分析的原理包括跟踪在穿越这些代码时这个字符串所包含的所有可能值。

The foundation of string analysis involves tracking all of the possible values that a string may contain while it traverses through the code.

youdao

分析了在描述公平协议时，串空间模型需要进行的几个扩展，包括：描述协议步骤在什么情况可以执行的扩展；

Some extension of strand space model are needed to analyse fair protocol including:the extension to specify in what condition the protocol steps are ready to be executed;

youdao