虫虫首页| 资源下载| 资源专辑| 精品软件
登录| 注册

您现在的位置是:虫虫下载站 > 资源下载 > 技术资料 > 电子证据与反拒认协议及形式化分析

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

  • 资源大小:222 K
  • 上传时间: 2024-02-28
  • 上传用户:nicholas28
  • 资源积分:2 下载积分
  • 标      签: 电子 协议

资 源 简 介

【摘要】反拒认是实现电子商务的一个重要前提条件。基于可信的第三方提出了一个面向传输的电子证据与反拒认协议TEENP,解决了收方和发方的拒认问题。扩充了类BAN信任逻辑的语义和逻辑推理规则,并用信

相 关 资 源