首页> 中文期刊>电子科技大学学报 >电子证据与反拒认协议及形式化分析

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《电子科技大学学报》|2004年第5期|531-534|共4页
作者
袁丁; 范平志;
展开▼
作者单位

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

四川师范大学计算机科学学院,成都,610066;

展开▼
原文格式 PDF
正文语种 chi
中图分类安全保密;
关键词
电子证据; 反拒认; 数字签名; 加密; 网络安全;
入库时间 2023-07-25 14:49:15

相似文献

中文文献
外文文献
专利

1. 电子证据与反拒认协议 [J] . 蒋晓宁 ,叶澄清 . 通信学报 . 2000,第007期
2. 一种基于公告牌的反拒认协议 [J] . 张键红 ,王继林 ,王育民 . 电子与信息学报 . 2004,第002期
3. 新的公平的反拒认协议 [J] . 肖群 ,张建中 . 贵州大学学报（自然科学版） . 2003,第002期
4. 一个公平的反拒认协议 [J] . 肖群 ,张建中 . 西北师范大学学报（自然科学版） . 2003,第004期
5. 一个公平的反拒认协议 [J] . 邓所云 ,胡正名 ,钮心忻 . 通信学报 . 2002,第002期
6. 安全协议形式化分析的MT组合分析技术 [C] . 范红 ,冯登国 ,邹良惠 . 第七届中国密码学学术会议 . 2002
7. 认我国刑事电子证据的认定 [A] . 章亿 . 2010

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号