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;
分析了在描述公平协议时，串空间模型需要进行的几个扩展，包括：描述协议步骤在什么情况可以执行的扩展；
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;
分析了在描述公平协议时，串空间模型需要进行的几个扩展，包括：描述协议步骤在什么情况可以执行的扩展；
应用推荐