This paper proposes a non-monotonic logic which can be used to analyze the properties of security protocols.
本文提出一种对安全协议进行分析的非单调逻辑。
Plausible reasoning, belonging to the category of non-monotonic logic, is a sort of frequently-used reasoning on the basis of common knowledge.
合情推理是非单调逻辑中一种常用的以常识为基础的推理形式,在多种可能之因当中选定一个最为“合情”的作为结论。
In this paper, a non monotonic dynamic logic that verifies properties of security protocols is introduced.
该文提出一种论证安全协议之安全性质的非单调动态逻辑。
In this paper, a non monotonic dynamic logic that verifies properties of security protocols is introduced.
该文提出一种论证安全协议之安全性质的非单调动态逻辑。
应用推荐