fabrega 中文意思是什麼
fabrega
解釋
法布雷加-
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三人提出,是分析安全協議的一種實用、直觀和嚴格的形式化方法。
分享友人