-
题名应用组合方法设计安全协议
被引量：5
- 1
-
-
作者
邓帆
邓少锋
李益发
-
机构
信息工程大学信息工程学院
-
出处
《计算机应用》
CSCD
北大核心
2010年第4期1033-1037,1041,共6页
-
基金
通信技术重点实验室基金资助项目(9140C1103040902)
-
文摘
针对目前安全协议的设计方法存在方法抽象、适用范围小及复杂的特点,提出了一种新的安全协议设计方法。先给出协议中基件与组件的定义,分析组件的安全属性并基于组件设计能实现相应安全目标的单步协议;定义组合规则,确保不同的单步协议能够组合成为一个复合协议,同时各个单步协议还能实现各自的安全目标。至此,根据具体的应用背景选择合适的单步协议按照组合规则组合后便可得到满足需求的安全协议。该组合方法可将一个复杂协议分解为若干简单的单步协议,使得协议的设计与分析都易于实现。
-
关键词
安全协议
单步协议
组件
逻辑分析
组合
-
Keywords
security protocol
single-step protocol
component
logical analysis
composition
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名协议组合逻辑系统研究
被引量：4
- 2
-
-
作者
王惠斌
祝跃飞
常青美
-
机构
信息工程大学信息工程学院
-
出处
《郑州大学学报（理学版）》
CAS
2008年第4期56-59,共4页
-
基金
国家自然科学基金资助项目
编号90204015
+2 种基金
60473021
河南省科技攻关基金资助项目
编号0524220044
-
文摘
介绍了PCL协议组合逻辑系统的语法、语义和证明系统,并与其他分析方法进行了比较.详述了PCL证明顺序组合安全协议的认证性和私密性等安全属性的方法步骤.该逻辑系统具有Paulson归纳法的相同安全证明等级,又具有BAN逻辑的易读性.
-
关键词
协议组合逻辑
安全属性
形式化分析
-
Keywords
protocol composition Logic
security property
formal analysis
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名应用组合方法设计复杂安全协议
被引量：1
- 3
-
-
作者
邓帆
邓少锋
李益发
-
机构
信息工程大学信息工程学院
-
出处
《计算机工程与设计》
CSCD
北大核心
2010年第20期4375-4377,4392,共4页
-
基金
部级通信技术重点实验室基金项目(9140C1103040902)
-
文摘
针对目前安全协议设计存在的方法抽象、适用范围小及复杂的特点,提出一种新的安全协议设计方法。给出了协议中基件与组件的定义,分析了组件的安全属性并基于组件设计实现相应安全目标的单步协议。最后,定义组合规则确保不同的单步协议能够组合成为一个复合协议的同时各个单步协议还能实现各自的安全目标。根据应用背景选择单步协议按组合规则组合后便可得所需的安全协议。研究结果表明,该方法可将一个复杂协议分解为若干简单的单步协议,使得协议的设计与分析都易于实现。
-
关键词
安全协议
设计
组件
逻辑分析
组合
-
Keywords
security protocol design component logical analysis composition
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
-
题名分析和设计安全协议的新逻辑
- 4
-
-
作者
缪祥华
何大可
鲁荣波
-
机构
西南交通大学信息科学与技术学院
西南交通大学信息安全与国家计算网格实验室
-
出处
《铁道学报》
EI
CAS
CSCD
北大核心
2006年第3期71-77,共7页
-
文摘
现有的逻辑,有的只可用于分析安全协议,而有的则只可用于设计安全协议。本文提出一种分析和设计安全协议的新逻辑。该逻辑不但可以用来分析安全协议,而且可以用来设计安全协议。通过运用该逻辑,使安全协议的设计和分析可以在同一种逻辑中进行。同时,该逻辑消除了用不同的方法来设计和分析安全协议的不一致性。在分析协议时,首先用逻辑对协议进行形式化,然后用推理规则对协议进行推理。如果不能推理出协议的最终目标,说明协议存在缺陷或者漏洞。在设计协议时,通过运用合成规则使协议设计者可用一种系统化的方法来构造满足需要的协议。最后,用该逻辑分析Woo-Lam协议,指出该协议不能满足协议目标。我们用该逻辑重新设计了该协议,说明重新设计的协议能够达到协议的目标。
-
关键词
逻辑
安全协议分析
安全协议设计
-
Keywords
logic
security protocol analysis
security protocol design
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名安全协议的规范化设计
- 5
-
-
作者
邓帆
邓少锋
张文政
-
机构
信息工程大学信息工程学院
成都市现代通信国家重点实验室
-
出处
《计算机工程与应用》
CSCD
北大核心
2011年第18期122-126,共5页
-
基金
通信技术重点实验室基金(NO.9140C1103040902)
-
文摘
提出运用组合方法进行安全协议设计。给出了协议中基件与组件的定义,根据组件的安全属性设计实现相应安全目标的单步协议;定义组合规则,确保不同的单步协议能够组合成为一个复合协议,同时各个单步协议还能实现各自的安全目标。根据具体的应用背景选择合适的单步协议,按照组合规则组合后可得到满足需求的安全协议。该组合方法可将一个复合协议分解为若干基于组件的简单单步协议,使得协议的设计与分析易于实现。
-
关键词
安全协议
组件
逻辑分析
组合
-
Keywords
security protocol
component
logical analysis
composition
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
