新的可证明安全的快速认证协议

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

新的可证明安全的快速认证协议

朱辉, 李晖, 庞辽军, 王育民

文章导航 > 电子科技大学学报 > 2009 > 38(1): 55-58

朱辉, 李晖, 庞辽军, 王育民. 新的可证明安全的快速认证协议[J]. 电子科技大学学报, 2009, 38(1): 55-58.

引用本文:

朱辉, 李晖, 庞辽军, 王育民. 新的可证明安全的快速认证协议[J]. 电子科技大学学报, 2009, 38(1): 55-58.

ZHU Hui, LI Hui, PANG Liao-Jun, WANG Yu-Min. New Provable Security Fast Authentication Protocol[J]. Journal of University of Electronic Science and Technology of China, 2009, 38(1): 55-58.

Citation:

ZHU Hui, LI Hui, PANG Liao-Jun, WANG Yu-Min. New Provable Security Fast Authentication Protocol[J]. Journal of University of Electronic Science and Technology of China, 2009, 38(1): 55-58.

新的可证明安全的快速认证协议

1.
西安电子科技大学计算机网络与信息安全教育部重点实验室西安 710071

基金项目:

国家自然科学基金(60772136,60803151);国家863计划(2007AA01Z435);高等学校学科创新引智计划(B08038).

作者简介:
朱辉(1981-)，男，讲师，博士生，主要从事无线网络安全和可证明安全方面的研究.

中图分类号: TP309

New Provable Security Fast Authentication Protocol

1.
Ministry of Education Key Laboratory of Computer Network and Information Security,Xidian University Xi'an 710071

摘要: 利用Canetti-Krawczyk模型构造了一个快速认证协议，并对该协议的安全性进行了详细的分析和证明。分析表明，该协议实现了Canetti-Krawczyk模型下可证明安全的快速身份认证、密钥协商和密钥更新，且具有双向实体认证、完美的向前保密性等安全属性，满足了认证的安全需求。该认证协议仅需进行2轮交互即可完成，通信开销小，计算量较低，为用户间的相互认证提供了一种高效的解决方案。
- 认证协议 /
- Canetti-Krawczyk模型 /
- 可证明安全 /
- 安全分析.
Abstract: With Canetti-Krawczyk model, a fast authentication protocol of exchanging multiple session keys between two participants is proposed. The security analysis and formal proof show that the proposed protocol is session-key secure with perfect forward secrecy (PFS). Moreover, the implementation of the protocol just need twice communications and a little computation. The results show the efficiency of the protocol in wireless network.
- authentication protocol /
- Canetti-Krawczyk model /
- provable security /
- security analysis

[1]	张凌浩, 梁晖辉, 邓东, 刘洋洋, 唐超, 常政威, 桂盛霖. 面向无线传感器网络的多因素安全增强认证协议 . 电子科技大学学报, 2023, 52(5): 699-708. doi: 10.12178/1001-0548.2022238
[2]	黄朝阳, 赵玉超. 安全高效的三因素远程身份认证协议 . 电子科技大学学报, 2022, 51(3): 425-431. doi: 10.12178/1001-0548.2021232
[3]	曹明生, 王惟一, 王韬, 徐海津, 陈大江, 秦志光. 一种基于麦克风和扬声器的轻量级认证协议 . 电子科技大学学报, 2019, 48(4): 575-579. doi: 10.3969/j.issn.1001-0548.2019.04.015
[4]	杨帆, 杨国武, 郝玉洁. 基于模型检测的半量子密码协议的安全性分析 . 电子科技大学学报, 2017, 46(5): 716-721. doi: 10.3969/j.issn.1001-0548.2017.05.013
[5]	陈大江, 秦臻, 秦志光, 王瑞锦. 基于虚拟信道的快速密钥生成协议的安全性分析 . 电子科技大学学报, 2015, 44(1): 112-116. doi: 10.3969/j.issn.1001-0548.2015.01.019
[6]	何明星, 李鹏程, 李虓. 高效的可证明安全的无证书数字签名方案 . 电子科技大学学报, 2015, 44(6): 887-891. doi: 10.3969/j.issn.1001-0548.2015.06.016
[7]	高悦翔, 彭代渊, 闫丽丽. 认证邮件协议的安全性分析与改进 . 电子科技大学学报, 2013, 42(2): 300-305. doi: 10.3969/j.issn.1001-0548.2013.02.023
[8]	王峰, 林昌露. 利用三次剩余构造的基于身份的环签名方案 . 电子科技大学学报, 2013, 42(5): 778-783. doi: 10.3969/j.issn.1001-0548.2013.05.026
[9]	张兵, 马新新, 志光. 轻量级RFID双向认证协议设计与分析 . 电子科技大学学报, 2013, 42(3): 425-430. doi: 10.3969/j.issn.1001-0548.2013.03.021
[10]	孙昌霞, 马文平, 陈和风. 可证明安全的无中心授权的多授权属性签名 . 电子科技大学学报, 2012, 41(4): 552-556. doi: 10.3969/j.issn.1001-0548.2012.04.014
[11]	闫丽丽, 彭代渊, 高悦翔. Ad hoc网络中认证路由协议的改进及其安全性分析 . 电子科技大学学报, 2011, 40(4): 577-581.
[12]	冯涛, 刘媛媛, 马建峰. 可证明安全的群组匿名认证密钥协商协议 . 电子科技大学学报, 2011, 40(2): 273-277. doi: 10.3969/j.issn.1001-0548.2011.02.023
[13]	崔军, 刘琦, 张振涛, 忠献, 杨义先. 可转换认证加密的安全邮件协议 . 电子科技大学学报, 2010, 39(4): 598-602,622. doi: 10.3969/j.issn.1001-0548.2010.04.027
[14]	胡威, 李建华, 陈秀真, 蒋兴浩. 可扩展的网络安全态势评价模型优化设计 . 电子科技大学学报, 2009, 38(1): 113-116.
[15]	韩坚华, 吴柳飞. 无线传感器网络EMSR协议的安全性分析 . 电子科技大学学报, 2009, 38(3): 401-405. doi: 10.3969/j.issn.1001-0548.2009.03.020
[16]	罗岚, 秦志光, 万国根, 魏正耀. 分组密码算法认证运算模式的注记及可证安全性 . 电子科技大学学报, 2009, 38(4): 600-604. doi: 10.3969/j.issn.1001-0548.2009.04.029
[17]	汪小芬, 李胜强, 肖国镇. 认证群密钥协商协议的安全性分析与改进 . 电子科技大学学报, 2009, 38(1): 51-54.
[18]	王曼珠, 周亮. 基于RADIUS/EAP的WLAN认证及其安全性分析 . 电子科技大学学报, 2005, 34(2): 168-171.
[19]	张选芳. Internet网络安全的信息过滤模型分析 . 电子科技大学学报, 2004, 33(3): 270-272.
[20]	任江, 袁宏春. 对SSL协议及其安全性分析 . 电子科技大学学报, 1998, 27(4): 416-420.

WeChat

点击查看大图

计量

文章访问数: 4785
HTML全文浏览量: 130
PDF下载量: 37
被引次数: 0

新的可证明安全的快速认证协议

1. 西安电子科技大学计算机网络与信息安全教育部重点实验室西安 710071

基金项目:

国家自然科学基金(60772136,60803151);国家863计划(2007AA01Z435);高等学校学科创新引智计划(B08038).

作者简介:
朱辉(1981-)，男，讲师，博士生，主要从事无线网络安全和可证明安全方面的研究.

收稿日期: 2007-09-24
修回日期: 2008-05-28
刊出日期: 2009-02-15

中图分类号: TP309

关键词:

摘要: 利用Canetti-Krawczyk模型构造了一个快速认证协议，并对该协议的安全性进行了详细的分析和证明。分析表明，该协议实现了Canetti-Krawczyk模型下可证明安全的快速身份认证、密钥协商和密钥更新，且具有双向实体认证、完美的向前保密性等安全属性，满足了认证的安全需求。该认证协议仅需进行2轮交互即可完成，通信开销小，计算量较低，为用户间的相互认证提供了一种高效的解决方案。

English Abstract

朱辉, 李晖, 庞辽军, 王育民. 新的可证明安全的快速认证协议[J]. 电子科技大学学报, 2009, 38(1): 55-58.

引用本文:

朱辉, 李晖, 庞辽军, 王育民. 新的可证明安全的快速认证协议[J]. 电子科技大学学报, 2009, 38(1): 55-58.

ZHU Hui, LI Hui, PANG Liao-Jun, WANG Yu-Min. New Provable Security Fast Authentication Protocol[J]. Journal of University of Electronic Science and Technology of China, 2009, 38(1): 55-58.

Citation:

ZHU Hui, LI Hui, PANG Liao-Jun, WANG Yu-Min. New Provable Security Fast Authentication Protocol[J]. Journal of University of Electronic Science and Technology of China, 2009, 38(1): 55-58.

全文HTML

/

下载: 全尺寸图片幻灯片

分享

用微信扫码二维码

分享至好友和朋友圈

返回

期刊在线

编辑办公

友情链接

电子科技大学

版权所有 © 《电子科技大学学报》编辑部

地址: 成都市建设北路二段四号电子科技大学主楼中350室电话: 028-83202308,83207559 Email: xuebao@uestc.edu.cn

本系统由北京仁和汇智信息技术有限公司开发