symbolic notation 中文意思是什麼

symbolic notation 解釋
符號表示法
  • symbolic : adj. 記號的，符號的；象徵的。
  • notation : n. 1. 記號，用號，符號，標志（法），表示法。2. 【數學】記數法。3. 【音樂】樂譜，記譜法。4. 〈罕用語〉記錄；注釋。adj. -al
  1. 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對稱鑰協議進行了形式化建模與模型檢驗，發現了它們的安全漏洞。
分享友人
分享到 Line

分享到臉書