Based on strand space, we extend the authentication tests method. Using this method, E-commerce protocol can be described and analyzed.
文章基于串空间模型，扩展了认证测试方法，使之能够描述和分析电子商务协议。
Based on strand space, we extend the authentication tests method. Using this method, E-commerce protocol can be described and analyzed.
文章基于串空间模型，扩展了认证测试方法，使之能够描述和分析电子商务协议。
应用推荐