We presented several new algorithms of model checking epistemic logics, and explore their applications in verifications of security protocols.
我们给出了一些新的模型检测算法，并探讨它们在安全协议验证中的应用。
We analyse the security of e-commerce protocols in failure environments using the model checking approach.
本文用模型检测的方法分析了不可靠环境下电子商务协议的安全性质。
Having fully absorbed the former researching results, strand space model become a practical, intuitive and strict method for security protocols analysis.
串空间模型吸收了前人的研究成果，是分析安全协议的一种实用、直观和严格的形式化方法。
People pay more attention on the security of protocols, especially in how to model and analyze security protocols in special environment.
与此相应的就是人们对协议的安全性更加关注，尤其是在特殊环境下如何建模和分析安全协议显得尤为重要。
People pay more attention on the security of protocols, especially in how to model and analyze security protocols in special environment.
与此相应的就是人们对协议的安全性更加关注，尤其是在特殊环境下如何建模和分析安全协议显得尤为重要。
应用推荐