该文提出一种论证安全协议之安全性质的非单调动态逻辑。
In this paper, a non monotonic dynamic logic that verifies properties of security protocols is introduced.
单射占优模型在非单调逻辑中具有重要的地位。
In nonmonotonic logic, injective preferential models play an important role.
为了形式化验证数字现金的安全性，本文在经典一阶逻辑的基础上，吸取了多类逻辑、动态逻辑和非单调逻辑的思想，提出了BZL逻辑模型。
In order to formalize and verify the protocol, BZL logic model is built, which based on first-order logic and introduces many-sorted, dynamic and non-monotony logic.
因此，经验逻辑给出了一类更一般而且直观的非单调推理形式。
The experiential logic therefore provides a class of more intuitive and general nonmonotonic formalisms.
借助于归纳推理的局部合理性推论，本文修正了常见非单调逻辑的推理模式，从而提出了一种新的在演绎框架下实现归纳推理的形式方法。
By local rational theory of inductive reasoning, we modify the reasoning mode of common nonmonotonic logic, and so we provide a new formal method of inductive reasoning under the deductive model.
本文提出一种对安全协议进行分析的非单调逻辑。
This paper proposes a non-monotonic logic which can be used to analyze the properties of security protocols.
因此，经验逻辑给出了一类更一般而且直观的非单调推理形式。
The experiential logic therefore provides a class of more intuitive and general no…
因此，经验逻辑给出了一类更一般而且直观的非单调推理形式。
The experiential logic therefore provides a class of more intuitive an…
因此，经验逻辑给出了一类更一般而且直观的非单调推理形式。
The experiential logic therefore provides a class of more intuitive an…
应用推荐