-
题名认证协议攻击与非形式化分析
被引量：6
- 1
-
-
作者
林贤金
胡山立
-
机构
福州大学计算机科学与技术系
-
出处
《小型微型计算机系统》
CSCD
北大核心
2003年第11期1912-1915,共4页
-
基金
国家自然科学基金项目 ( 60 172 0 17)资助
-
文摘
协议的分析验证方法有形式化与非形式化之分 ,很多代表性的协议虽然存在着缺陷 ,但对这些协议的非形式化分析 ,却可以提出一些值得借鉴的规则 ,参考这些规则可以避免和减少协议逻辑的漏洞 ,本文针对 Woo- L am两个改进协议以及 SSL协议给出了攻击方法 。
-
关键词
认证协议
协议攻击
密码协议
密码学
非形式化方法
-
Keywords
authentication protocol
protocol attack
cryptographic protocol
cryptography
informal method
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名网络认证协议攻击的非形式化分析
被引量：3
- 2
-
-
作者
李静
肖美华
-
机构
南昌大学信息工程学院
中国科学院软件研究所计算机科学重点实验室
-
出处
《计算机工程与应用》
CSCD
北大核心
2006年第22期112-115,142,共5页
-
基金
江西省自然科学基金资助项目(编号:0411041)
江西省教育厅科技计划资助项目(编号:200543)
+1 种基金
南昌大学2003
2004年度科研基金资助项目
-
文摘
随着密码协议在计算机网络和分布式系统中的广泛应用,协议的安全性显得越来越重要,对协议的安全性分析和研究也成为目前一个非常紧迫的课题。协议安全性分析包括非形式化和形式化两种方法。论文通过对Woo-Lam,Helsinki和Otway-Rees三个典型协议攻击的非形式化分析,归纳出协议漏洞产生的原因,并探讨了相应的改进的方法。
-
关键词
认证协议
密码协议
非形式化方法
-
Keywords
authentication protocol,cryptographic protocol,informal method
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
