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.
本文研究了工作流系统的访问控制模型及其安全性分析的方法。
Formal methods for protocol analysis ware put forward based on changing the security problem into a mathematical problem, which we can rigorously prove it instead of judging by intuition.
安全协议形式化分析技术的提出，将协议的安全性问题转化为数学问题，采用数学证明的手段来代替直觉的判定，近年来已逐步被公认为解决安全问题的合理方案。
Formal methods for protocol analysis ware put forward based on changing the security problem into a mathematical problem, which we can rigorously prove it instead of judging by intuition.
安全协议形式化分析技术的提出，将协议的安全性问题转化为数学问题，采用数学证明的手段来代替直觉的判定，近年来已逐步被公认为解决安全问题的合理方案。
应用推荐