In order to use these formal analysis methods in anti-virus technologies, we may have to rethink the whole process.
为了在反病毒技术中使用这些形式分析方法，我们可能必须重新考虑整个过程。
Using formal method to analyze security protocol is a valid method to the analysis of security protocols. In recent years, a lot of formal methods appeared.
采用形式化方法分析安全协议是协议分析的有效手段，近年来，出现了众多的研究方法。
The formal contexts and concept lattices in formal concept analysis are good methods of knowledge representation.
形式概念分析中的形式背景及概念格是一种较好的知识表示方法；
The thesis is focused on the access control model for workflow systems and the security analysis of workflow systems by formal methods.
本文研究了工作流系统的访问控制模型及其安全性分析的方法。
The thesis is focused on the access control model for workflow systems and the security analysis of workflow systems by formal methods.
本文研究了工作流系统的访问控制模型及其安全性分析的方法。
应用推荐