...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Discrete dynamics in nature and society >Fairness Analysis for Multiparty Nonrepudiation Protocols Based on Improved Strand Space
【24h】

Fairness Analysis for Multiparty Nonrepudiation Protocols Based on Improved Strand Space

机译：基于改进链空间的多方不可否认协议公平性分析

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Aimed at the problem of the fairness analysis for multiparty nonrepudiation protocols, a new formal analysis method based on improved strand space is presented. Based on the strand space theory, signature operation is added; the set of terms, the subterm relation and the set of penetrator traces are redefined and the assumption of free encryption is extended in the new method.The formal definition of fairness in multi-party non-repudiation protocols is given and the guideline to verify it based on improved strand space is presented. Finally, the fairness of multi-party non-repudiation protocols is verified with an example of Kremer- Markowitch protocol, which indicates that the new method is suitable for analyzing the fairness of multiparty nonrepudiation protocols.
机译：针对多方不可否认协议的公平性分析问题，提出了一种基于改进链空间的形式化分析方法。基于链空间理论，增加了签名操作;新方法重新定义了术语集，子项关系和穿透痕迹集，并扩展了自由加密的假设。给出了多方不可否认协议中公平性的正式定义，并给出了验证的准则提出了基于改进的股空间的方法。最后，以Kremer-Markowitch协议为例验证了多方不可抵赖协议的公平性，表明该新方法适用于分析多方不可抵赖协议的公平性。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号