formal analysis methods

基本解释

The formal contexts and concept lattices in formal concept analysis are good methods of knowledge representation.
形式概念分析中的形式背景及概念格是一种较好的知识表示方法；
In order to use these formal analysis methods in anti-virus technologies, we may have to rethink the whole process.
为了在反病毒技术中使用这些形式分析方法，我们可能必须重新考虑整个过程。
Following are the main results of this thesis:Introduce the background and basic conceptions of security protocols, expatiate the three classifications of the formal analysis methods.
对安全协议的背景及基本概念、安全协议的形式化分析方法的三种思路进行了系统的介绍；