首页> 中文会议>第三届中国信息和通信安全学术会议 >公平防抵赖协议及其形式化分析

公平防抵赖协议及其形式化分析

摘要

本文针对目前ISO/IEC 13888系列洒中抵赖服务标准中存在的严重缺陷:选择性收据问题,提出了一个公平不可抵赖协议FNRP,并通过严格的形式化分析证明了FNRP具有防抵赖性、公平性和适时中止性.

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号