电子发烧友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次阅读
上传资料赚积分下载排行
本周
- 1DC电源插座图纸
- 0.67 MB | 2次下载 | 免费
- 2AN158 GD32VW553 Wi-Fi开发指南
- 1.51MB | 2次下载 | 免费
- 3AN148 GD32VW553射频硬件开发指南
- 2.07MB | 1次下载 | 免费
- 4AN111-LTC3219用户指南
- 84.32KB | 次下载 | 免费
- 5AN153-用于电源系统管理的Linduino
- 1.38MB | 次下载 | 免费
- 6AN-283: Σ-Δ型ADC和DAC[中文版]
- 677.86KB | 次下载 | 免费
- 7SM2018E 支持可控硅调光线性恒流控制芯片
- 402.24 KB | 次下载 | 免费
- 8AN-1308: 电流检测放大器共模阶跃响应
- 545.42KB | 次下载 | 免费
本月
- 1ADI高性能电源管理解决方案
- 2.43 MB | 450次下载 | 免费
- 2免费开源CC3D飞控资料（电路图&PCB源文件、BOM、
- 5.67 MB | 138次下载 | 1 积分
- 3基于STM32单片机智能手环心率计步器体温显示设计
- 0.10 MB | 130次下载 | 免费
- 4使用单片机实现七人表决器的程序和仿真资料免费下载
- 2.96 MB | 44次下载 | 免费
- 53314A函数发生器维修手册
- 16.30 MB | 31次下载 | 免费
- 6美的电磁炉维修手册大全
- 1.56 MB | 24次下载 | 5 积分
- 7如何正确测试电源的纹波
- 0.36 MB | 17次下载 | 免费
- 8感应笔电路图
- 0.06 MB | 10次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935121次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420062次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233088次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191367次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183335次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81581次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73810次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65988次下载 | 10 积分
工商网监
评论