可转换认证加密的安全邮件协议

留言板

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

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

可转换认证加密的安全邮件协议

崔军, 刘琦, 张振涛, 忠献, 杨义先

文章导航 > 电子科技大学学报 > 2010 > 39(4): 598-602,622

崔军, 刘琦, 张振涛, 忠献, 杨义先. 可转换认证加密的安全邮件协议[J]. 电子科技大学学报, 2010, 39(4): 598-602,622. doi: 10.3969/j.issn.1001-0548.2010.04.027

引用本文:

崔军, 刘琦, 张振涛, 忠献, 杨义先. 可转换认证加密的安全邮件协议[J]. 电子科技大学学报, 2010, 39(4): 598-602,622. doi: 10.3969/j.issn.1001-0548.2010.04.027

CUI Jun, LIU Qi, ZHANG Zhen-tao, LI Zhong-xian, YANG Yi-xian. A Sec-Email Protocol Based on the Convertible Authenticated Encryption Scheme[J]. Journal of University of Electronic Science and Technology of China, 2010, 39(4): 598-602,622. doi: 10.3969/j.issn.1001-0548.2010.04.027

Citation:

CUI Jun, LIU Qi, ZHANG Zhen-tao, LI Zhong-xian, YANG Yi-xian. A Sec-Email Protocol Based on the Convertible Authenticated Encryption Scheme[J]. Journal of University of Electronic Science and Technology of China, 2010, 39(4): 598-602,622. doi: 10.3969/j.issn.1001-0548.2010.04.027

可转换认证加密的安全邮件协议

doi: 10.3969/j.issn.1001-0548.2010.04.027

崔军^1,2,
刘琦³,
张振涛^1,2,
忠献^1,2,
杨义先^1,2

1.
北京邮电大学网络与交换技术国家重点实验室北京海淀区 100876;
2.
北京邮电大学网络与信息攻防技术教育部重点实验室北京海淀区 100876;
3.
天津城市建设学院电子与信息工程系天津西青区 300384

基金项目:

国家973计划(2007CB310704);国家863计划(2007AA01Z430);国家自然科学基金(60821001)

作者简介:
崔军(1979-),男,博士生,主要从事网络安全、公平交换方面的研究.

中图分类号: TP309

A Sec-Email Protocol Based on the Convertible Authenticated Encryption Scheme

1.
State Key Lab. of Networking and Switching Technology,Beijing University of Posts & Telecommunications Haidian Beijing 100876;
2.
Key Lab. of Nnetwork and Information Attack & Defence Technology of MOE,Beijing University of Posts & Telecommunications Haidian Beijing 100876;
3.
Electronic and Information Engineering Department,Tianjin Institute of Urban Construction Xiqing Tianjin 300384

摘要: 通过对电子商务中不可否认公平交换协议的运行流程进行了研究，论证了基于第三方的不可否认公平交换协议至少需要运行4步骤，进而指出现有一个协议实质上是需要运行4步骤的，而不仅仅是运行3步骤。依据安全协议与密码系统分开设计的原则，对比分析已有可转换认证加密方案，提出了一个可转换认证加密方案的系统模型。并基于该系统模型，设计了基于半可信第三方的不可否认的安全邮件协议。通过形式化方法分析表明，该协议具备邮件发送方和接收方均不可否认的特点。
- 可转换的认证加密 /
- 电子商务 /
- 公平交换 /
- 形式化方法 /
- 不可否认
Abstract: On deep research on the workflow of non-repudiation and fair-exchange protocols in electronic commerce, it is proved that these protocols with trusted third party need to run in four steps at least. The analysis of an existing protocol shows that it needs to run in four steps, rather than just run in three steps it claims. On the principle that security protocol and cryptography system should be designed separately, a common model of convertible authenticated encryption schemes is proposed by analyzing some existing convertible authenticated encryption schemes. By using this model, a secure email protocol with semi-trusted third party is designed. Result shows that this protocol has non-repudiation features of both sender and receiver by formal analysis.
- convertible authenticated encryption /
- electronic commerce /
- fair-exchange /
- formal methods /
- non-repudiation

[1]	孙海泳, 杨霞, 雷航, 乔磊, 杨拯. 基于TrustZone的TEE设计与信息流形式化验证 . 电子科技大学学报, 2019, 48(2): 259-263. doi: 10.3969/j.issn.1001-0548.2019.02.016
[2]	张涛, 谢红, 黄少滨. 多Agent交互策略模型检测方法 . 电子科技大学学报, 2016, 45(5): 802-807. doi: 10.3969/j.issn.1001-0548.2016.05.016
[3]	吴劲, 陈志慧. 基于Event-B的形式化建模关键技术研究 . 电子科技大学学报, 2014, 43(3): 405-408. doi: 10.3969/j.issn.1001-0548.2014.03.015
[4]	张亮, 柏林森, 周涛. 基于跨电商行为的交叉推荐算法 . 电子科技大学学报, 2013, 42(1): 154-160. doi: 10.3969/j.issn.1001-0548.2013.01.031
[5]	张兵, 马新新, 志光. 轻量级RFID双向认证协议设计与分析 . 电子科技大学学报, 2013, 42(3): 425-430. doi: 10.3969/j.issn.1001-0548.2013.03.021
[6]	蓝天, 秦志光, 赵洋. 利用门限密码实现乐观的步进式公平交换 . 电子科技大学学报, 2011, 40(1): 100-104. doi: 10.3969/j.issn.1001-0548.2011.01.019
[7]	陈文宇, 向涛, 王晓斌, 桑楠, 孙世新. 实时可信服务的构件设计与形式化描述 . 电子科技大学学报, 2011, 40(1): 122-127. doi: 10.3969/j.issn.1001-0548.2011.01.023
[8]	李文, 平玲娣, 陈小平, 吴朝晖. 基于Dirichlet分布的电子商务信誉评估模型 . 电子科技大学学报, 2011, 40(5): 737-741. doi: 10.3969/j.issn.1001-0548.2011.05.020
[9]	葛一楠, 周驰岷, 易勇. 高速TCP拥塞控制算法的公平性改进 . 电子科技大学学报, 2008, 37(2): 270-273.
[10]	傅强, 刘晓东. 多媒体呈现流程的形式化描述及内容表示 . 电子科技大学学报, 2008, 37(5): 753-756.
[11]	边杏宾, 朱清新. 信息集中存储方式下的水印协议 . 电子科技大学学报, 2008, 37(4): 614-617.
[12]	张青, 张龙, 温巧燕, 陈更力. 基于签密的认证邮件协议 . 电子科技大学学报, 2008, 37(2): 282-284.
[13]	张君雁, 段钢, 邵培基. 基于网格的电子商务架构和多Agent协商 . 电子科技大学学报, 2007, 36(2): 275-277.
[14]	甘元驹, 彭银桥, 施荣华. 一种有效的可转换的认证加密方案 . 电子科技大学学报, 2005, 34(2): 172-174.
[15]	袁丁, 范平志. 电子证据与反拒认协议及形式化分析 . 电子科技大学学报, 2004, 33(5): 531-534.
[16]	高克义, 傅彦. 一种基于Web的身份鉴别策略及其实现 . 电子科技大学学报, 2002, 31(5): 512-516.
[17]	王新庄. EB环境下的一个匹配模型及其算法研究 . 电子科技大学学报, 2001, 30(5): 533-537.
[18]	刘维亭, 张冰, 马继先. 电子海图系统雷达信息转换技术的研究 . 电子科技大学学报, 2000, 29(1): 29-32.
[19]	涂晓东, 李乐民. 分组公平排队算法的仿真研究 . 电子科技大学学报, 2000, 29(4): 440-444.
[20]	章小兵, 王勇, 陈光. 基于自由二元判决图转换的可测性优化方法 . 电子科技大学学报, 1997, 26(2): 171-174.

WeChat

点击查看大图

计量

文章访问数: 3663
HTML全文浏览量: 124
PDF下载量: 40
被引次数: 0

可转换认证加密的安全邮件协议

doi: 10.3969/j.issn.1001-0548.2010.04.027

1. 北京邮电大学网络与交换技术国家重点实验室北京海淀区 100876;

2. 北京邮电大学网络与信息攻防技术教育部重点实验室北京海淀区 100876;

3. 天津城市建设学院电子与信息工程系天津西青区 300384

基金项目:

国家973计划(2007CB310704);国家863计划(2007AA01Z430);国家自然科学基金(60821001)

作者简介:
崔军(1979-),男,博士生,主要从事网络安全、公平交换方面的研究.

收稿日期: 2008-12-23
修回日期: 2009-06-30
刊出日期: 2010-08-15

中图分类号: TP309

关键词:

摘要: 通过对电子商务中不可否认公平交换协议的运行流程进行了研究，论证了基于第三方的不可否认公平交换协议至少需要运行4步骤，进而指出现有一个协议实质上是需要运行4步骤的，而不仅仅是运行3步骤。依据安全协议与密码系统分开设计的原则，对比分析已有可转换认证加密方案，提出了一个可转换认证加密方案的系统模型。并基于该系统模型，设计了基于半可信第三方的不可否认的安全邮件协议。通过形式化方法分析表明，该协议具备邮件发送方和接收方均不可否认的特点。

English Abstract

崔军, 刘琦, 张振涛, 忠献, 杨义先. 可转换认证加密的安全邮件协议[J]. 电子科技大学学报, 2010, 39(4): 598-602,622. doi: 10.3969/j.issn.1001-0548.2010.04.027

引用本文:

崔军, 刘琦, 张振涛, 忠献, 杨义先. 可转换认证加密的安全邮件协议[J]. 电子科技大学学报, 2010, 39(4): 598-602,622. doi: 10.3969/j.issn.1001-0548.2010.04.027

CUI Jun, LIU Qi, ZHANG Zhen-tao, LI Zhong-xian, YANG Yi-xian. A Sec-Email Protocol Based on the Convertible Authenticated Encryption Scheme[J]. Journal of University of Electronic Science and Technology of China, 2010, 39(4): 598-602,622. doi: 10.3969/j.issn.1001-0548.2010.04.027

Citation:

CUI Jun, LIU Qi, ZHANG Zhen-tao, LI Zhong-xian, YANG Yi-xian. A Sec-Email Protocol Based on the Convertible Authenticated Encryption Scheme[J]. Journal of University of Electronic Science and Technology of China, 2010, 39(4): 598-602,622. doi: 10.3969/j.issn.1001-0548.2010.04.027

全文HTML

/

下载: 全尺寸图片幻灯片

分享

用微信扫码二维码

分享至好友和朋友圈

返回

期刊在线

编辑办公

友情链接

电子科技大学

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

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

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