guttman method 中文意思是什麼

guttman method 解釋
格特曼法
  • guttman : 格特曼
  • method : n 1 方法,方式;順序。2 (思想、言談上的)條理,規律,秩序。3 【生物學】分類法。4 〈M 〉【戲劇】...
  1. 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三人提出,它是分析安全協議的一種實用、直觀和嚴格的形式化方法,它充分吸收了前人的研究成果,模型使用一種節點間存在因果關系的有向圖來表示協議的運行。
  2. 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三人提出,是分析安全協議的一種實用、直觀和嚴格的形式化方法。
分享友人