田建波
- 作品数:11 被引量:33H指数:4
- 供职机构:西安电子科技大学更多>>
- 发文基金:国家自然科学基金国防科技技术预先研究基金更多>>
- 相关领域:电子电信自动化与计算机技术经济管理更多>>
- 并行攻击的讨论被引量:1
- 1999年
- 本文从BAN逻辑的语义角度讨论了并行攻击,并提出了对并行攻击的判断方法。
- 田建波郑东王育民
- 关键词:BAN逻辑语义密码学
- 认证协议形式分析的讨论被引量:1
- 1998年
- MaoWenbo提出了对一种认证协议进行分析时更形式化的BAN逻辑,文中对该逻辑进行了分析,并通过举例指出了其局限性.
- 田建波徐胜波王育民
- 关键词:BAN逻辑
- 一类信仰可推的认证协议被引量:6
- 1999年
- 在BAN逻辑的基础上,提出了一类信仰可推的认证协议,并论述了此类协议的特点.说明了Otway-Res协议是该类协议的一种变形.与Otway-Rees协议相比,该类协议中的发给服务器S的消息不经加密,因此提高了信息传送的效率.
- 刘胜利田建波王育民
- 关键词:BAN逻辑密码技术
- DES已被攻破,AES即将诞生被引量:8
- 1998年
- 介绍了DES及其发展,以及利用Internet联网计算机的空闲CPU时间攻破DES的情况。从1997年初,美国已经开始计划建立新的加密标准AES,并在世界范围内公开征集AES算法。本文对此也作了介绍,并介绍了AES标准的提纲。
- 田建波孙晓蓉王育民
- 关键词:DES破译AES
- 全文增补中
- 安全的认证密钥分配协议设计被引量:4
- 1998年
- 分析了密码技术中的两个基本特性:保密性和认证性,提出了设计安全认证密钥分配协议的基本准则.按照该准则对Needham-Schroder认证协议进行了分析,发现了该协议的漏洞,又根据这些安全准则设计了一类新的身份认证与密钥分配协议.分析结果表明:按这些安全准则设计的身份认证与密钥分配协议不仅安全性高,而且冗余少,效率高.
- 徐胜波田建波王新梅
- 关键词:加密密钥分配安全信道
- 认证协议的形式分析——BAN逻辑被引量:1
- 1998年
- 介绍了BAN逻辑,并用其对一个认证协议进行了分析,找到了该认证协议的一些弱点,说明了用BAN逻辑来对认证协议进行分析是有效的。最后,指出了BAN的发展方向。
- 田建波王育民
- 关键词:BAN逻辑
- 全文增补中
- 正形置换与正形拉丁方的两个结果被引量:4
- 1997年
- 主要讨论了正形拉丁方的截集,所得结果对正形置换的构造有重要意义.
- 亢保元田建波王育民
- 关键词:正形置换拉丁方密码学
- 关于BAN逻辑扩展的注记被引量:1
- 2000年
- 本文指出了W.Mao(1995)对其协议(1)的证明中存在的错误,并对其在协议理想化过程中提出的N-u规则作了探讨,指出其扩展N-u的三条规则的缺陷,并作了改进,最后,给出一个例子说明N-u规则的应用。
- 郑东田建波王育民
- 关键词:BAN逻辑密码学
- 网格编码调制在扩频多址系统中的应用被引量:3
- 1998年
- 在假定多用户干扰等效于高斯分布的条件下,讨论了网格编码调制(TCM)在AWGN信道下的性能.通过和非编码扩频多址(SSMA)下的性能比较,得出了TCM-SSMA系统在一定信噪比条件下,性能比SSMA系统要好的结论.
- 田建波亢保元王育民
- 关键词:网格编码调制扩频多址多用户干扰TCM
- 认证协议的分析设计
- 认证协议是在移动通信网和计算机网络中采取的一个重要的安全措施。一个 安全的认证协议能有效抵御恶意的攻击者对通信网进行的欺诈,保证通信网的安 全运行。在不同的环境下如何设计正确的认证...
- 田建波
- 关键词:BAN逻辑移动通信计算机网络安全性