适应受限环境的认证协议及其SVO逻辑分析

• 作者: 刘志猛 原达 范辉 赵燕丽
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 安全协议 身份认证 会话密钥 SVO逻辑 逻辑分析
• 年，卷（期）: 2009,（20）
• 所属期刊栏目: 安全技术
• 页码范围: 151-152,156
• 页数: 3页
• 分类号: TP309
• 字数: 3512字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2009.20.053

摘要

针对认证协议在受限通信网络环境中的应用和安全问题,提出一种基于椭圆曲线密码技术的认证协议,使用对称密码为协议中的交互信息提供机密性,在协议最后生成参与者共享的会话密钥.采用扩展的SVO逻辑对推荐协议进行形式化分析,结果证明该协议的安全性符合要求.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	范辉	山东工商学院计算机科学与技术学院	36	297	10.0	16.0
2	刘志猛	山东工商学院计算机科学与技术学院	12	32	2.0	5.0
3	原达	山东工商学院计算机科学与技术学院	21	188	8.0	13.0
4	赵燕丽	山东工商学院计算机科学与技术学院	15	31	2.0	5.0