formal analysis methods

基本解釋

The formal contexts and concept lattices in formal concept analysis are good methods of knowledge representation.
形式概唸分析中的形式背景及概唸格是一種較好的知識(shí)表示方法；
In order to use these formal analysis methods in anti-virus technologies, we may have to rethink the whole process.
爲(wèi)了在反病毒技術(shù)中使用這些形式分析方法，我們可能必須重新考慮整個(gè)過(guò)程。
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.
對(duì)安全協(xié)議的背景及基本概唸、安全協(xié)議的形式化分析方法的三種思路進(jìn)行了系統(tǒng)的介紹；