kripke semantics 中文意思是什麼
-
This paper introduces a new methodology that uses - it knowledge structures, a specific form of kripke semantics for epistemic logic, to analyze communication protocols over hostile networks. the paper particularly focuses on automatic verification of authentication protocols. our approach is based on the actual definitions of a protocol, not on some difficult - to - establish justifications
認知邏輯的kripke語義已經被成功應用到通信協議的推理分析中例如,交替位協議alternating bit protocol的分析,及最近的對tcp的分析.因為信息交換本質上可以看成是個認知過程,用認知邏輯可以很方便地表達
分享友人