guttman method 中文意思是什麼
guttman method
解釋
格特曼法-
Having fully absorbed the former researching results, f " abrega, herzog and guttman brought forward a kind of formal method named strand space, which is a practical, intuitive and strict one for security protocols analysis. the model uses a kind of order graph between its nodes existing casual relationship to represent protocol executions
串空間( strandspace )模型由f ' abrega 、 herzog和guttman三人提出,它是分析安全協議的一種實用、直觀和嚴格的形式化方法,它充分吸收了前人的研究成果,模型使用一種節點間存在因果關系的有向圖來表示協議的運行。 -
Strand space, brought forward by fabrega, herzog and guttman, is a applied, intuitionistic and strict formal method for security protocols analysis
串空間( strandspace )模型由fabrega , herzog和guttman三人提出,是分析安全協議的一種實用、直觀和嚴格的形式化方法。
分享友人