吴建耀
- 作品数：5 被引量：7H指数：1
- 供职机构：中国科学院研究生院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术经济管理电子电信更多>>
- SET支付协议的形式化分析与改进被引量：7
- 2006年
- 使用运行模式法对SET支付协议的简化版本即Lu-Smolka协议进行了形式化分析,找到了6种不同的攻击形式,其中4种是新发现的攻击,通过对这6种攻击形式的深入分析和分类,发现了原协议中存在的漏洞,最后对该协议进行了改进,从而有效避免了以上6种攻击,提高了协议的安全性。
- 吴建耀张玉清杨波
- 关键词：形式化分析
- SET支付协议简化版本的运行模式分析被引量：1
- 2005年
- 主要使用运行模式法对简化的SET支付协议即Lu-Smolka协议进行了形式化分析,通过分析找到了六种不同的攻击形式,其中四种是新发现的攻击,并且对这六种攻击形式进行了深入的分析,发现了其中的差异和可能造成的潜在攻击,最后根据攻击的特征对这六种攻击进行了分类。
- 吴建耀张玉清杨波
- 关键词：形式化分析
- 对Kerberos协议的攻击及对策研究
- Kerberos协议是当今最重要的实用认证协议,但是它也存在着一些局限性和缺陷,本文主要分析了Kerberos协议的两种最重要的攻击:口令攻击和重放攻击,并且以Windows2000环境下对Kerberos协议进行的攻击...
- 莫燕张玉清吴建耀
- 关键词：KERBEROS口令攻击重放攻击
- 文献传递
- 电子商务安全协议的形式化分析技术研究
- 安全协议的安全性是网络与信息安全的重要基础,运用形式化方法分析安全协议已成为目前研究的主要热点.本文主要研究运用形式化技术分析电子商务安全协议的理论与技术.主要的研究成果如下:★系统介绍安全协议和电子商务安全协议的背景、...
- 吴建耀
- 关键词：电子商务安全协议形式化分析方法SET协议
- 文献传递
- 对Kerberos协议的攻击及对策研究
- Kerberos协议是当今最重要的实用认证协议,但是它也存在着一些局限性和缺陷,本文主要分析了Kerberos协议的两种最重要的攻击:口令攻击和重放攻击,并且以Windows2000环境下对Kerberos协议进行的攻击...
- 莫燕张玉清吴建耀
- 关键词：KERBEROS口令攻击重放攻击
- 文献传递
