链延伸
基于1个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
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
应用推荐
模块上移
模块下移
不移动