期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
10
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
BAN逻辑的可靠性分析与改进
被引量：
17
1
作者
王正才
许道云
+2 位作者
王晓峰
唐郑熠
韦立
《计算机工程》
CAS
CSCD
2012年第17期110-115,共6页
BAN逻辑的推理过程中可能引入错误的推理条件,导致不安全的协议被验证为安全的。为解决该问题,对消息的形式化描述方式进行改进,在消息含义推理规则中加上一个隐含但不能被忽略的条件,以增强验证的可靠性,通过对发送和推理的消息单元进...
BAN逻辑的推理过程中可能引入错误的推理条件,导致不安全的协议被验证为安全的。为解决该问题,对消息的形式化描述方式进行改进,在消息含义推理规则中加上一个隐含但不能被忽略的条件,以增强验证的可靠性,通过对发送和推理的消息单元进行限定,使消息新鲜性判定规则适用于更多类型的协议安全性验证。
展开更多
关键词
ban
逻辑
安全协议
形式化
非形式化
消息新鲜性
推理
在线阅读
下载PDF
职称材料
密码协议分析工具——BAN逻辑及其缺陷
被引量：
13
2
作者
张玉清
李继红
肖国镇
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
1999年第3期376-378,共3页
在介绍密码协议分析工具——ＢＡＮ逻辑的基础上，研究和分析了ＢＡＮ逻辑在初始假设、理想化步骤、语义和探测协议违规运行等方面所存在的缺陷，并用实际例子具体说明了这些缺陷，最后指出了ＢＡＮ逻辑改进的方向．
关键词
密码协议
协议分析
ban
逻辑
在线阅读
下载PDF
职称材料
类BAN逻辑基本模型及缺陷
被引量：
5
3
作者
许剑卓
戴英侠
左英男
《软件学报》
EI
CSCD
北大核心
2000年第12期1660-1665,共6页
类 BA N逻辑是一种用于分析密码协议安全性的逻辑 .在分析了 BA N,A T,M B,G NY,SV O等类 BAN逻辑之后 ,指出这些逻辑的缺陷 ,包括若干新发现的缺陷 .首先把类 BA N的模型抽象出来 ,形成一个五元组模型 ,然后分析该模型的各个要素 ,并...
类 BA N逻辑是一种用于分析密码协议安全性的逻辑 .在分析了 BA N,A T,M B,G NY,SV O等类 BAN逻辑之后 ,指出这些逻辑的缺陷 ,包括若干新发现的缺陷 .首先把类 BA N的模型抽象出来 ,形成一个五元组模型 ,然后分析该模型的各个要素 ,并依据该模型对类 BA N逻辑的缺陷进行分类 ,最后指出进一步发展类
展开更多
关键词
密码协议
ban
逻辑
缺陷
在线阅读
下载PDF
职称材料
用BAN逻辑方法分析SSL 3.0协议
被引量：
6
4
作者
王惠芳
郭金庚
《计算机工程》
CAS
CSCD
北大核心
2001年第11期147-149,共3页
形式化分析密码协议渐渐成为密码学中一个发展的新方向，因为形式化方法的确能检测出密码协议中的漏洞。ＢＡＮ逻辑是目前使用最广泛的。文章介绍了ＢＡＮ逻辑和ＳＳＬ３．０协议，并给出了用ＢＡＮ逻辑分析ＳＳＬ３．０协议的详细过程。
关键词
形式化分析
密码协议
ban
逻辑
SSL3.0协议
在线阅读
下载PDF
职称材料
“对BAN逻辑中新鲜子的研究”的注记
被引量：
1
5
作者
袁丁
范平志
何明星
《电子与信息学报》
EI
CSCD
北大核心
2002年第8期1131-1133,共3页
该文通过一个反例说明,宋荣功等“对BAN逻辑中新鲜子的研究”中关于BAN逻辑新鲜子规则条件过于严格,可能把一个安全的协议分析成不安全的协议。
关键词
密码协议
ban
逻辑
新鲜子
形式化分析
在线阅读
下载PDF
职称材料
类BAN逻辑的两个重要缺陷
被引量：
1
6
作者
张萌
许剑卓
左英男
《计算机工程》
EI
CAS
CSCD
北大核心
2000年第7期133-135,共3页
类ＢＡＮ逻辑通常都分析了ＢＡＮ逻辑的缺陷并相应地发展了自己的推理法则，在 ＢＡＮ逻辑的缺陷中最受关注的是消息可识别性问题和密钥保密性问题。该文重新对这两个问题进行分析并指出以前类ＢＡＮ逻辑中对这两个缺陷的理解是错误的...
类ＢＡＮ逻辑通常都分析了ＢＡＮ逻辑的缺陷并相应地发展了自己的推理法则，在 ＢＡＮ逻辑的缺陷中最受关注的是消息可识别性问题和密钥保密性问题。该文重新对这两个问题进行分析并指出以前类ＢＡＮ逻辑中对这两个缺陷的理解是错误的，并把这两个缺陷归结为消息不可伪造问题和信任模型问题。同时指出进一步法则类ＢＡＮ逻辑应解决的问题。
展开更多
关键词
密码协议
ban
逻辑
缺陷
密码学
网络通信安全
在线阅读
下载PDF
职称材料
Otway Rees协议的安全分析
被引量：
1
7
作者
曾子维
李鹏
孙学波
《计算机应用与软件》
CSCD
北大核心
2006年第2期122-124,共3页
互联网的迅速发展引起人们对协议安全性的关注,现在国际上流行安全协议的分析方法集中在形式化验证方面,其中BAN逻辑是一种方法。本文通过使用BAN逻辑证明O tway Rees协议的安全性,同时也得出BAN逻辑在证明协议安全性方面的一些缺陷。
关键词
安全协议
ban
逻辑
Otway
Rees协议
安全分析
逻辑证明
形式化验证
安全性
互联网
在线阅读
下载PDF
职称材料
NS协议的形式化分析与改进
被引量：
1
8
作者
李之棠
石曙东
解云峰
《计算机工程与科学》
CSCD
2004年第2期1-3,共3页
随着网络的发展,协议的安全性越来越受到关注,现在国际上的热点集中在对安全协议的形式化验证和分析方面。本文通过使用BAN逻辑证明Needham-Schroeder协议的安全性,得出其存在的缺陷并提出改进方案。
关键词
网络安全
Needham-Schmeder协议
数据加密
数字签名
数据传输
在线阅读
下载PDF
职称材料
Needham Schroeder协议的安全缺陷与改进
9
作者
石曙东
李之棠
《计算机工程与应用》
CSCD
北大核心
2004年第1期136-137,189,共3页
随着网络的发展协议的安全性越来越受到人们的关注,现在国际上的热点集中在对安全协议的形式化验证方面。通过使用BAN逻辑证明Needham-Schroeder协议的安全性,得出其存在的缺陷的结论并提出改进方案。
关键词
安全协议
ban
逻辑
Needham—Schroeder协议
在线阅读
下载PDF
职称材料
密码协议的形式化分析与设计原则
被引量：
3
10
作者
徐晓东
岳殿武
《南京邮电学院学报》
2001年第3期28-32,共5页
介绍了密码协议的形式化分析方法和设计原则 ,着重介绍了BAN逻辑及其发展以及一些重要的协议设计原则 ,并提出了作者的一些观点。
关键词
密码协议
形式化分析
保密通信
在线阅读
下载PDF
职称材料
题名
BAN逻辑的可靠性分析与改进
被引量：
17
1
作者
王正才
许道云
王晓峰
唐郑熠
韦立
机构
贵州大学计算机科学与信息学院
出处
《计算机工程》
CAS
CSCD
2012年第17期110-115,共6页
基金
国家自然科学基金资助项目(60863005
61011130038)
+2 种基金
贵州大学自然科学青年科研基金资助项目((2009)021)
贵州大学研究生创新基金资助项目(省研理工2010005
校研理工2011033)
文摘
BAN逻辑的推理过程中可能引入错误的推理条件,导致不安全的协议被验证为安全的。为解决该问题,对消息的形式化描述方式进行改进,在消息含义推理规则中加上一个隐含但不能被忽略的条件,以增强验证的可靠性,通过对发送和推理的消息单元进行限定,使消息新鲜性判定规则适用于更多类型的协议安全性验证。
关键词
ban
逻辑
安全协议
形式化
非形式化
消息新鲜性
推理
Keywords
ban
logic
security
protocol
formalization
informalization
message
freshness
reasoning
分类号
TP309.2 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
密码协议分析工具——BAN逻辑及其缺陷
被引量：
13
2
作者
张玉清
李继红
肖国镇
机构
西安电子科技大学信息保密研究所
出处
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
1999年第3期376-378,共3页
基金
国家自然科学基金
文摘
在介绍密码协议分析工具——ＢＡＮ逻辑的基础上，研究和分析了ＢＡＮ逻辑在初始假设、理想化步骤、语义和探测协议违规运行等方面所存在的缺陷，并用实际例子具体说明了这些缺陷，最后指出了ＢＡＮ逻辑改进的方向．
关键词
密码协议
协议分析
ban
逻辑
Keywords
cryptographic protocol
protocol
analysis
ban
logic
分类号
TN918.1 [电子电信—通信与信息系统]
在线阅读
下载PDF
职称材料
题名
类BAN逻辑基本模型及缺陷
被引量：
5
3
作者
许剑卓
戴英侠
左英男
机构
中国科学技术大学研究生院信息安全国家重点实验室
出处
《软件学报》
EI
CSCD
北大核心
2000年第12期1660-1665,共6页
文摘
类 BA N逻辑是一种用于分析密码协议安全性的逻辑 .在分析了 BA N,A T,M B,G NY,SV O等类 BAN逻辑之后 ,指出这些逻辑的缺陷 ,包括若干新发现的缺陷 .首先把类 BA N的模型抽象出来 ,形成一个五元组模型 ,然后分析该模型的各个要素 ,并依据该模型对类 BA N逻辑的缺陷进行分类 ,最后指出进一步发展类
关键词
密码协议
ban
逻辑
缺陷
Keywords
cryptographic protocol
ban
logic
defect
分类号
TN915.04 [电子电信—通信与信息系统]
在线阅读
下载PDF
职称材料
题名
用BAN逻辑方法分析SSL 3.0协议
被引量：
6
4
作者
王惠芳
郭金庚
机构
信息工程大学信息安全学院
出处
《计算机工程》
CAS
CSCD
北大核心
2001年第11期147-149,共3页
文摘
形式化分析密码协议渐渐成为密码学中一个发展的新方向，因为形式化方法的确能检测出密码协议中的漏洞。ＢＡＮ逻辑是目前使用最广泛的。文章介绍了ＢＡＮ逻辑和ＳＳＬ３．０协议，并给出了用ＢＡＮ逻辑分析ＳＳＬ３．０协议的详细过程。
关键词
形式化分析
密码协议
ban
逻辑
SSL3.0协议
Keywords
Formal analysis of
cryptographic protocol
ban logic
SSL3.0
protocol
分类号
TN918.2 [电子电信—通信与信息系统]
TN915.04 [电子电信—通信与信息系统]
在线阅读
下载PDF
职称材料
题名
“对BAN逻辑中新鲜子的研究”的注记
被引量：
1
5
作者
袁丁
范平志
何明星
机构
西南交通大学移动通信研究所
出处
《电子与信息学报》
EI
CSCD
北大核心
2002年第8期1131-1133,共3页
基金
国家自然科学基金(NSFC资助号:69825102)
文摘
该文通过一个反例说明,宋荣功等“对BAN逻辑中新鲜子的研究”中关于BAN逻辑新鲜子规则条件过于严格,可能把一个安全的协议分析成不安全的协议。
关键词
密码协议
ban
逻辑
新鲜子
形式化分析
Keywords
cryptographic protocol
,
ban logic
,
freshness
分类号
TN918.1 [电子电信—通信与信息系统]
在线阅读
下载PDF
职称材料
题名
类BAN逻辑的两个重要缺陷
被引量：
1
6
作者
张萌
许剑卓
左英男
机构
中国科技大学研究生院信息安全国家重点实验室
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2000年第7期133-135,共3页
文摘
类ＢＡＮ逻辑通常都分析了ＢＡＮ逻辑的缺陷并相应地发展了自己的推理法则，在 ＢＡＮ逻辑的缺陷中最受关注的是消息可识别性问题和密钥保密性问题。该文重新对这两个问题进行分析并指出以前类ＢＡＮ逻辑中对这两个缺陷的理解是错误的，并把这两个缺陷归结为消息不可伪造问题和信任模型问题。同时指出进一步法则类ＢＡＮ逻辑应解决的问题。
关键词
密码协议
ban
逻辑
缺陷
密码学
网络通信安全
Keywords
cryptographic protocol
ban logic
Flaw
分类号
TN915.08 [电子电信—通信与信息系统]
TP393.08 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
Otway Rees协议的安全分析
被引量：
1
7
作者
曾子维
李鹏
孙学波
机构
鞍山科技大学计算机科学与工程学院
出处
《计算机应用与软件》
CSCD
北大核心
2006年第2期122-124,共3页
文摘
互联网的迅速发展引起人们对协议安全性的关注,现在国际上流行安全协议的分析方法集中在形式化验证方面,其中BAN逻辑是一种方法。本文通过使用BAN逻辑证明O tway Rees协议的安全性,同时也得出BAN逻辑在证明协议安全性方面的一些缺陷。
关键词
安全协议
ban
逻辑
Otway
Rees协议
安全分析
逻辑证明
形式化验证
安全性
互联网
Keywords
cryptographic protocol
ban logic
Otway Rees
protocol
分类号
TP393.08 [自动化与计算机技术—计算机应用技术]
TP393.4 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
NS协议的形式化分析与改进
被引量：
1
8
作者
李之棠
石曙东
解云峰
机构
华中科技大学计算机学院
出处
《计算机工程与科学》
CSCD
2004年第2期1-3,共3页
基金
国家863计划资助项目(863-301-06-1)
国信安办资助项目(2001-研1-004)
文摘
随着网络的发展,协议的安全性越来越受到关注,现在国际上的热点集中在对安全协议的形式化验证和分析方面。本文通过使用BAN逻辑证明Needham-Schroeder协议的安全性,得出其存在的缺陷并提出改进方案。
关键词
网络安全
Needham-Schmeder协议
数据加密
数字签名
数据传输
Keywords
cryptographic protocol
ban logic
Needham-Schroeder
protocol
分类号
TP393.08 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
Needham Schroeder协议的安全缺陷与改进
9
作者
石曙东
李之棠
机构
华中科技大学计算机学院
出处
《计算机工程与应用》
CSCD
北大核心
2004年第1期136-137,189,共3页
基金
国家863高技术研究发展计划(编号:863-301-06-1)
国信安办资助(编号:2001-研1-004)
文摘
随着网络的发展协议的安全性越来越受到人们的关注,现在国际上的热点集中在对安全协议的形式化验证方面。通过使用BAN逻辑证明Needham-Schroeder协议的安全性,得出其存在的缺陷的结论并提出改进方案。
关键词
安全协议
ban
逻辑
Needham—Schroeder协议
Keywords
cryptographic protocol
,
ban
logic
,Needham-Schroeder
protocol
分类号
TP393.04 [自动化与计算机技术—计算机应用技术]
TP393.08 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
密码协议的形式化分析与设计原则
被引量：
3
10
作者
徐晓东
岳殿武
机构
南京邮电学院通信工程系
出处
《南京邮电学院学报》
2001年第3期28-32,共5页
文摘
介绍了密码协议的形式化分析方法和设计原则 ,着重介绍了BAN逻辑及其发展以及一些重要的协议设计原则 ,并提出了作者的一些观点。
关键词
密码协议
形式化分析
保密通信
Keywords
ban
logic
cryptographic protocol
analysis
cryptographic protocol
design
Authentication
Authentication
protocol
分类号
TN918.1 [电子电信—通信与信息系统]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
BAN逻辑的可靠性分析与改进
王正才
许道云
王晓峰
唐郑熠
韦立
《计算机工程》
CAS
CSCD
2012
17
在线阅读
下载PDF
职称材料
2
密码协议分析工具——BAN逻辑及其缺陷
张玉清
李继红
肖国镇
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
1999
13
在线阅读
下载PDF
职称材料
3
类BAN逻辑基本模型及缺陷
许剑卓
戴英侠
左英男
《软件学报》
EI
CSCD
北大核心
2000
5
在线阅读
下载PDF
职称材料
4
用BAN逻辑方法分析SSL 3.0协议
王惠芳
郭金庚
《计算机工程》
CAS
CSCD
北大核心
2001
6
在线阅读
下载PDF
职称材料
5
“对BAN逻辑中新鲜子的研究”的注记
袁丁
范平志
何明星
《电子与信息学报》
EI
CSCD
北大核心
2002
1
在线阅读
下载PDF
职称材料
6
类BAN逻辑的两个重要缺陷
张萌
许剑卓
左英男
《计算机工程》
EI
CAS
CSCD
北大核心
2000
1
在线阅读
下载PDF
职称材料
7
Otway Rees协议的安全分析
曾子维
李鹏
孙学波
《计算机应用与软件》
CSCD
北大核心
2006
1
在线阅读
下载PDF
职称材料
8
NS协议的形式化分析与改进
李之棠
石曙东
解云峰
《计算机工程与科学》
CSCD
2004
1
在线阅读
下载PDF
职称材料
9
Needham Schroeder协议的安全缺陷与改进
石曙东
李之棠
《计算机工程与应用》
CSCD
北大核心
2004
0
在线阅读
下载PDF
职称材料
10
密码协议的形式化分析与设计原则
徐晓东
岳殿武
《南京邮电学院学报》
2001
3
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
