认证测试方法对TLS协议的分析及其应用

• 作者: 陈克非 陈力琼
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: TLS协议 串空间 认证测试方法 中间人攻击
• 年，卷（期）: 2008,（11）
• 所属期刊栏目: 基金项目论文
• 页码范围: 6-7,30
• 页数: 3页
• 分类号: TP3
• 字数: 2245字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2008.11.003

摘要

TLS(传输层安全)协议被广泛用来保证Web的安全,为了分析其安全性,用串空间模型对其进行形式化描述,并用认证测试方法分别对客户端和服务器端的认证性进行分析,证明协议存在中间人攻击,通过修改认证测试方法的测试元素对协议形式进行改进,并证明改进后协议的正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈克非	上海交通大学计算机科学与工程系	122	1257	21.0	29.0
2	陈力琼	上海交通大学计算机科学与工程系	4	15	2.0	3.0