分析和设计安全协议的新逻辑

• 作者: 何大可 缪祥华 鲁荣波
• 来源期刊: 铁道学报
• 学科: 工学
• 关键词: 逻辑 安全协议分析 安全协议设计
• 年，卷（期）: 2006,（3）
• 页码范围: 71-77
• 页数: 7页
• 分类号: TP309
• 字数: 4688字
• 语种: 中文
• DOI: 10.3321/j.issn:1001-8360.2006.03.015

摘要

现有的逻辑,有的只可用于分析安全协议,而有的则只可用于设计安全协议.本文提出一种分析和设计安全协议的新逻辑.该逻辑不但可以用来分析安全协议,而且可以用来设计安全协议.通过运用该逻辑,使安全协议的设计和分析可以在同一种逻辑中进行.同时,该逻辑消除了用不同的方法来设计和分析安全协议的不一致性.在分析协议时,首先用逻辑对协议进行形式化,然后用推理规则对协议进行推理.如果不能推理出协议的最终目标,说明协议存在缺陷或者漏洞.在设计协议时,通过运用合成规则使协议设计者可用一种系统化的方法来构造满足需要的协议.最后,用该逻辑分析Woo-Lam协议,指出该协议不能满足协议目标.我们用该逻辑重新设计了该协议,说明重新设计的协议能够达到协议的目标.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	何大可	西南交通大学信息安全与国家计算网格实验室	182	1679	20.0	31.0
2	缪祥华	西南交通大学信息科学与技术学院	23	24	3.0	3.0
6	鲁荣波	西南交通大学信息科学与技术学院	9	72	5.0	8.0