电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
【摘要】反拒认是实现电子商务的一个重要前提条件。基于可信的第三方提出了一个面向传输的电子证据与反拒认协议TEENP，解决了收方和发方的拒认问题。扩充了类BAN信任逻辑的语义和逻辑推理规则，并用信任逻辑BAN对其进行了形式化分析。与相关协议相比，本协议是公平的、安全的和高效的。
关 键 词 电子证据; 反拒认; 数字签名; 加密; 网络安全
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.
- 无人机无线通信协议的形式化认证综述 9次下载
- 安全协议自适应分析算法 0次下载
- 通信协议形式化模型的研究 0次下载
- PCM协议的分析与验证 9次下载
- IEEE 802.11r认证协议安全性分析及改进
- 基于Petri网的安全协议形式化描述和安全性验证 18次下载
- 基于Petri网的安全协议形式化分析 29次下载
- 基于Spin的Rdt2.2及其改进的形式化分析
- 基于分层时间有色Petri网的支付协议公平性分析
- 一种安全协议分析算法研究
- 一种快速安全认证协议及其形式化分析
- 形式化方法和测试技术及其在安全中的应用
- 密码协议形式化分析的计算合理性
- 基于消息匹配的认证协议分析
- 基于串空间模型的改进性N-S协议的分析
- 反极图实验数据的分析方法 519次阅读
- 电动机的安装形式有哪些？简单分析 1907次阅读
- eSPI协议抓包分析 3470次阅读
- 完整的加密电子证据发现解决方案 786次阅读
- 反激变换器电流尖峰分析 6664次阅读
- 跳跃表数据结构与算法分析 853次阅读
- 芯片开发中形式化验证的是一个误区 1976次阅读
- 形式化建模（一） 1387次阅读
- 通信产品EMC/EMI仿真优化分析 1164次阅读
- 六个电子管收音机电路形式 1.6w次阅读
- 首个基于5G网络切片技术设计的电子证据平台 3279次阅读
- CAN总线通信性能的仿真分析研究 3169次阅读
- 东方网力“天眼”结构化一体机实现实时视频流结构化分析 5412次阅读
- 反激开关电源波形分析 8.6w次阅读
- 电子警察技术原理分析 2896次阅读
上传资料赚积分下载排行
本周
- 1电子电路原理第七版PDF电子教材免费下载
- 0.00 MB | 1490次下载 | 免费
- 2单片机典型实例介绍
- 18.19 MB | 93次下载 | 1 积分
- 3S7-200PLC编程实例详细资料
- 1.17 MB | 27次下载 | 1 积分
- 4笔记本电脑主板的元件识别和讲解说明
- 4.28 MB | 18次下载 | 4 积分
- 5开关电源原理及各功能电路详解
- 0.38 MB | 10次下载 | 免费
- 6基于AT89C2051/4051单片机编程器的实验
- 0.11 MB | 4次下载 | 免费
- 7基于单片机和 SG3525的程控开关电源设计
- 0.23 MB | 3次下载 | 免费
- 8基于单片机的红外风扇遥控
- 0.23 MB | 3次下载 | 免费
本月
- 1OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234313次下载 | 免费
- 2PADS 9.0 2009最新版 -下载
- 0.00 MB | 66304次下载 | 免费
- 3protel99下载protel99软件下载(中文版)
- 0.00 MB | 51209次下载 | 免费
- 4LabView 8.0 专业版下载 (3CD完整版)
- 0.00 MB | 51043次下载 | 免费
- 5555集成电路应用800例(新编版)
- 0.00 MB | 33562次下载 | 免费
- 6接口电路图大全
- 未知 | 30320次下载 | 免费
- 7Multisim 10下载Multisim 10 中文版
- 0.00 MB | 28588次下载 | 免费
- 8开关电源设计实例指南
- 未知 | 21539次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935053次下载 | 免费
- 2protel99se软件下载(可英文版转中文版)
- 78.1 MB | 537791次下载 | 免费
- 3MATLAB 7.1 下载 (含软件介绍)
- 未知 | 420026次下载 | 免费
- 4OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234313次下载 | 免费
- 5Altium DXP2002下载入口
- 未知 | 233046次下载 | 免费
- 6电路仿真软件multisim 10.0免费下载
- 340992 | 191183次下载 | 免费
- 7十天学会AVR单片机与C语言视频教程 下载
- 158M | 183277次下载 | 免费
- 8proe5.0野火版下载(中文版免费下载)
- 未知 | 138039次下载 | 免费
工商网监
评论