algebraic specification 中文意思是什麼
algebraic specification
解釋
代數方法- algebraic : adj. 代數的，代數學（上）的。adv. -ically 代數學上。
- specification : n. 1. 詳細說明，逐一登記，詳記。2. 〈pl. 〉規范，規格。3. 清單，明細單。4. 【法律】（申報新發明時的）設計說明書。5. 【法律】用來料加工製成新產品所取得的權利。
-
It ' s essential that complex security protocols can be obtained through the continues evolution of simple protocols, therefore, the evolution model framework for security protocol based on algebraic specification is presented in this paper, the body of a security protocol can be formalized using this framework and the goal of a security protocol ' s evolution can be attained by expanding this framework
復雜安全協議本質上就是由簡單的協議模型不斷進化而得，因此本文採用基於代數規范的方法提出一個安全協議的進化模型框架，安全協議的主體均可採用該框架得以形式化描述，並通過進化模型的擴展達到安全協議進化的目的。
分享友人