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

作     者：缪祥华 何大可 鲁荣波 MIAO Xiang-hua;HE Da-ke;LU Rong-bo

作者机构：西南交通大学信息科学与技术学院 西南交通大学信息安全与国家计算网格实验室四川成都610031 

出 版 物：《铁道学报》 (Journal of the China Railway Society)

年 卷 期：2006年第28卷第3期

页      码：71-77页

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

主 题 词：逻辑 安全协议分析 安全协议设计 

学科分类：0839[0839] 08[工学] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3321/j.issn:1001-8360.2006.03.015

馆 藏 号：203834440...