串空间模型是一种新兴的密码协议形式化分析工具。
Strand space model is a new formal analysis tool to the analysis of cryptogram protocol.
按照试验方案对试验模型进行空间有限元分析。
Space finite element analysis of the test model was accomplished based on test scheme.
按照试验方案对试验模型进行空间有限元分析。
Space finite element analysis of the test model was accomplished based on test scheme.
应用推荐