symbolic key 中文意思是什麼
symbolic key
解釋
符號鍵-
First, this paper introduces the notation, categories and properties of security protocols, and formal methods to verify security protocols and small system model. the emphasis is the research and analysis of the principle of the model checking method. we study the mechanism and syntax of symbolic model checking tool smv, model check the authentication version of needham - schroeder public key protocol and woo and lam ij symmetric key protocol
文章主要介紹了安全協議的概念、分類和性質，安全協議的形式化驗證方法，以及小系統模型的原理；重點分析和研究了符號化模型檢驗工具smv的原理和語法及其對安全協議進行模型檢驗時的工作機理，而且使用smv對needham - schroeder公鑰協議和wooandlam對稱鑰協議進行了形式化建模與模型檢驗，發現了它們的安全漏洞。 -
We research different kinds of formal methods, particularly study the mechanism of symbolic model checking tool smv, and finally we decide to adopt smv as the tool for the model checking of security protocols. with smv, we model check the authentication version of needham - schroeder public key protocol and woo and lam ij symmetric key protocol
本文研究了驗證安全協議的各種形式化方法，詳細研究了符號化模型檢驗工具smv的工作機制；確定了使用smv作為工具對安全協議進行模型檢驗，驗證了認證版needham - schroeder公鑰協議和wooandlam對稱鑰協議。 -
Based on the above qualitative studies, combining the data collected from the social typical sampling investigations with the reliability analysis by using methodology of symbolic statistic, an evaluation methodology for the key property on the technology of food security in quality was explored, finally case studies of the evaluation methodology for the key property on the technology of food security in quality were conducted, important technology types and categories for the food security in quality were selected in the view of strategy, and series of countermeasures for macroscopic development of the technology of food security in quality were also put forwarded
然後，通過社會典型抽樣調查（專家問卷法）得到第一手數據，運用sas 、 excel和灰色關聯分析等數理統計與分析方法，對問卷的可靠性進行了研究，建立了食物質量安全技術「關鍵性」的評價方法，並進行了實證評價分析，對我國食物質量安全技術的重點技術類型、關鍵技術種類等進行戰略選擇，提出了我國食物質量安全關鍵技術的一系列宏觀發展對策。 -
During the modeling and verification of the authentication version of needham - schroeder public key protocol with smv, we get more comprehension on the theory of symbolic model checking and small system model, and finally find a flaw in this protocol that corresponds with the one that gavin lowe found with fdr
通過使用smv對needham - schroeder公鑰協議進行建模和驗證，理解了符號化模型檢驗和小系統模型的原理，並發現了一個協議漏洞，該漏洞與gavinlowe用fdr所發現的相一致。
分享友人