电子证据与反拒认协议及形式化分析

留言板

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

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

电子证据与反拒认协议及形式化分析

袁丁, 范平志

文章导航 > 电子科技大学学报 > 2004 > 33(5): 531-534

袁丁, 范平志. 电子证据与反拒认协议及形式化分析[J]. 电子科技大学学报, 2004, 33(5): 531-534.

引用本文:

袁丁, 范平志. 电子证据与反拒认协议及形式化分析[J]. 电子科技大学学报, 2004, 33(5): 531-534.

Yuan Ding, Fan Pingzhi. An Electronic Evidence and Non-Repudiation Protocol and Its Formal Analysis[J]. Journal of University of Electronic Science and Technology of China, 2004, 33(5): 531-534.

Citation:

Yuan Ding, Fan Pingzhi. An Electronic Evidence and Non-Repudiation Protocol and Its Formal Analysis[J]. Journal of University of Electronic Science and Technology of China, 2004, 33(5): 531-534.

电子证据与反拒认协议及形式化分析

袁丁¹,
范平志²

1.
西南交通大学移动通信研究所成都 610031;
2.
四川师范大学计算机科学学院成都 610066

基金项目:

高等学校博士点基金(20020613020);国家自然科学基资助项目(69825102);四川省教育厅重点项目(2003A085)

作者简介:
袁丁(1967-),男,博士后,副教授,主要从事信息安全方面的研究.

中图分类号: TP309

An Electronic Evidence and Non-Repudiation Protocol and Its Formal Analysis

Yuan Ding¹,
Fan Pingzhi²

1.
Institute of Mobile Communications,Southwest Jiaotong University Chengdu 610031;
2.
School of Computer Science,Sichuan Normal University Chengdu 610066

摘要: 反拒认是实现电子商务的一个重要前提条件。基于可信的第三方提出了一个面向传输的电子证据与反拒认协议TEENP,解决了收方和发方的拒认问题。扩充了类BAN信任逻辑的语义和逻辑推理规则,并用信任逻辑BAN对其进行了形式化分析。与相关协议相比,本协议是公平的、安全的和高效的。
- 电子证据 /
- 反拒认 /
- 数字签名 /
- 加密 /
- 网络安全
Abstract: Non-repudiation is one of the most important premises to achieve electronic commerce. Based on a trusty third party, this paper proposes a transmission-oriented electronic evidence and non-repudiation protocol transmission-oriented electronic evidence and non-repudiation protocol (TEENP) to resolve the possible repudiation problem both in receiver side and in sender side. We extend the semantics and reasoning rules of the belief logic BAN, and formal analysis of TEENP is presented using logic BAN. The protocol is fair, secure and efficient, compared with the corresponding protocols.
- electronic evidence /
- non-repudiation /
- digital signature /
- encryption /
- network security

[1]	吴亚东, 蒋宏宇, 赵思蕊, 李波. 网络安全数据3D可视化方法 . 电子科技大学学报, 2015, 44(4): 594-598. doi: 10.3969/j.issn.1001-0548.2015.04.020
[2]	何明星, 李鹏程, 李虓. 高效的可证明安全的无证书数字签名方案 . 电子科技大学学报, 2015, 44(6): 887-891. doi: 10.3969/j.issn.1001-0548.2015.06.016
[3]	陈勋, 韩臻, 刘吉强. 涉密网络中的数据保护技术 . 电子科技大学学报, 2013, 42(1): 144-148. doi: 10.3969/j.issn.1001-0548.2013.01.029
[4]	杨珺, 马秦生, 王敏, 曹阳. 网络取证隐马尔可夫模型证据融合方法 . 电子科技大学学报, 2013, 42(3): 350-354. doi: 10.3969/j.issn.1001-0548.2013.03.006
[5]	吴淮, 孙颖, 许春香, 伍玮. 对一种基于身份环签名方案的安全性分析 . 电子科技大学学报, 2013, 42(6): 926-929. doi: 10.3969/j.issn.1001-0548.2013.06.022
[6]	冯涛, 刘媛媛, 马建峰. 可证明安全的群组匿名认证密钥协商协议 . 电子科技大学学报, 2011, 40(2): 273-277. doi: 10.3969/j.issn.1001-0548.2011.02.023
[7]	孙颖, 许春香, 吴淮, 陈艾东. 对一种代理签名方案的攻击和改进 . 电子科技大学学报, 2011, 40(4): 616-619.
[8]	张应辉, 马华, 王保仓. Schnorr签名中的阈下信道及其封闭方法 . 电子科技大学学报, 2010, 39(6): 826-830. doi: 10.3969/j.issn.1001-0548.2010.06.005
[9]	戴江山, 李向阳, 张增军, 肖军模. 网络取证日志分布式安全管理 . 电子科技大学学报, 2007, 36(2): 235-238.
[10]	叶李, 王娟, 秦志光. 用灰色优势分析确定网络安全评估指标 . 电子科技大学学报, 2007, 36(6): 1195-1197,1252.
[11]	杨世平, 李祥. 一种基于ECC的消息安全交换方案 . 电子科技大学学报, 2007, 36(5): 821-823,947.
[12]	吴劲, 张凤荔, 何兴高, 陆庆. SIP安全机制研究 . 电子科技大学学报, 2007, 36(6): 1211-1214.
[13]	甘元驹, 彭银桥, 施荣华. 一种有效的可转换的认证加密方案 . 电子科技大学学报, 2005, 34(2): 172-174.
[14]	张选芳. Internet网络安全的信息过滤模型分析 . 电子科技大学学报, 2004, 33(3): 270-272.
[15]	韩振海, 刘秋武, 刘艺, 王仕璠. 基于联合变换的旋转不变光学图像加密 . 电子科技大学学报, 2004, 33(1): 43-45.
[16]	程文彬. 基于网站建设中网页设计的安全缺陷及对策 . 电子科技大学学报, 2003, 32(6): 711-713.
[17]	周世杰, 秦志光, 耿技. 办公自动化系统中的安全性 . 电子科技大学学报, 2000, 29(2): 201-204.
[18]	李一果, 温蜀山, 孙海荣, 李乐民. 主动网络的安全技术探讨 . 电子科技大学学报, 2000, 29(4): 402-405.
[19]	薛兰, 宋杰, 陈锡明. 一种PVM安全机制的设计与实现 . 电子科技大学学报, 2000, 29(1): 91-94.
[20]	任江, 袁宏春. 对SSL协议及其安全性分析 . 电子科技大学学报, 1998, 27(4): 416-420.

WeChat

点击查看大图

计量

文章访问数: 3447
HTML全文浏览量: 119
PDF下载量: 54
被引次数: 0

电子证据与反拒认协议及形式化分析

袁丁¹,
范平志²

1. 西南交通大学移动通信研究所成都 610031;

2. 四川师范大学计算机科学学院成都 610066

基金项目:

高等学校博士点基金(20020613020);国家自然科学基资助项目(69825102);四川省教育厅重点项目(2003A085)

作者简介:
袁丁(1967-),男,博士后,副教授,主要从事信息安全方面的研究.

收稿日期: 2002-12-05
刊出日期: 2004-10-15

中图分类号: TP309

关键词:

摘要: 反拒认是实现电子商务的一个重要前提条件。基于可信的第三方提出了一个面向传输的电子证据与反拒认协议TEENP,解决了收方和发方的拒认问题。扩充了类BAN信任逻辑的语义和逻辑推理规则,并用信任逻辑BAN对其进行了形式化分析。与相关协议相比,本协议是公平的、安全的和高效的。

English Abstract

袁丁, 范平志. 电子证据与反拒认协议及形式化分析[J]. 电子科技大学学报, 2004, 33(5): 531-534.

引用本文:

袁丁, 范平志. 电子证据与反拒认协议及形式化分析[J]. 电子科技大学学报, 2004, 33(5): 531-534.

Yuan Ding, Fan Pingzhi. An Electronic Evidence and Non-Repudiation Protocol and Its Formal Analysis[J]. Journal of University of Electronic Science and Technology of China, 2004, 33(5): 531-534.

Citation:

Yuan Ding, Fan Pingzhi. An Electronic Evidence and Non-Repudiation Protocol and Its Formal Analysis[J]. Journal of University of Electronic Science and Technology of China, 2004, 33(5): 531-534.

全文HTML

/

下载: 全尺寸图片幻灯片

分享

用微信扫码二维码

分享至好友和朋友圈

返回

期刊在线

编辑办公

友情链接

电子科技大学

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

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

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