checking comprehension 中文意思是什麼
checking comprehension
解釋
檢查自己的理解- checking : 產生裂縫
- comprehension : n. 1. 理解，理解力。2. 包含，包括，含蓄；概括公理；【邏輯學】內包；【修辭學】推知法；【宗教】包容政策。
-
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所發現的相一致。
分享友人