-
题名一种分析和设计认证协议的新逻辑
- 1
-
-
作者
缪祥华
-
机构
昆明理工大学信息工程与自动化学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2008年第2期34-36,53,共4页
-
文摘
提出一种分析和设计认证协议的新逻辑,可以用来分析认证协议和设计认证协议。通过运用该逻辑,使认证协议的设计和分析可以在同一种逻辑中进行,也消除了用不同的方法来设计和分析认证协议的不一致性。在分析协议时,先用逻辑对协议进行形式化,再用推理规则对协议进行推理。如果不能推理出协议的最终目标,说明协议存在缺陷或者漏洞。在设计协议时,通过运用合成规则使协议设计者可用一种系统化的方法来构造满足需要的协议。用该逻辑对Needham-Schroeder私钥协议进行了分析,指出该协议不能满足协议目标,并重新设计了该协议。
-
关键词
逻辑
认证协议分析
认证协议设计
-
Keywords
logic
authentication protocol analysis
authentication protocol design
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-