一种分析和设计认证协议的新逻辑

• 作者: 缪祥华
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 逻辑 认证协议分析 认证协议设计
• 年，卷（期）: 2008,（2）
• 所属期刊栏目: 博士论文
• 页码范围: 34-36,53
• 页数: 4页
• 分类号: TP309
• 字数: 3052字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2008.02.012

摘要

提出一种分析和设计认证协议的新逻辑,可以用来分析认证协议和设计认证协议.通过运用该逻辑,使认证协议的设计和分析可以在同一种逻辑中进行,也消除了用不同的方法来设计和分析认证协议的不一致性.在分析协议时,先用逻辑对协议进行形式化,再用推理规则对协议进行推理.如果不能推理出协议的最终目标,说明协议存在缺陷或者漏洞.在设计协议时,通过运用合成规则使协议设计者可用一种系统化的方法来构造满足需要的协议.用该逻辑对Needham-Schroeder私钥协议进行了分析,指出该协议不能满足协议目标,并重新设计了该协议.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	缪祥华	昆明理工大学信息工程与自动化学院	23	24	3.0	3.0