关键词: 安全协议 协议验证 信念 非单调逻辑

Abstract:

This paper proposes a non-monotonic logic which can be used to analyze the properties of security protocols. This logic uses knowledge set to contain assertions which are known,uses belief set to contain assertions which are inferred by default rules. It verifies the properties of security protocols b y knowledge inference and belief maintenance.

Key words: security protocol, protocol verification, belief, non-monotonic logic