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.
形式概念分析中的形式背景及概念格是一种较好的知识表示方法；
应用推荐