English translation for "kripke语义"
|
- kripke semantics
Related Translations:
变换语义: transformational calculustransformational semantics 语义消解: semantic resolution 合成语义: compositional semantic 语义信息: semantic information 语义区别: semantic differential
- Example Sentences:
| 1. | 6 li gong , roger needham , raphael yahalom . reasoning about beliefs in cryptographic protocols
我们将使用一类特殊的等价的kripke语义,即知识结构 | | 2. | 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的分析.因为信息交换本质上可以看成是个认知过程,用认知逻辑可以很方便地表达 |
- Similar Words：
- "kripal" English translation, "kripalani" English translation, "kripan" English translation, "kripka" English translation, "kripke semantics" English translation, "kripl" English translation, "kripner" English translation, "kripnerova" English translation, "krippahl" English translation, "krippel" English translation
|
|
|
