计算机工程与应用 ›› 2007, Vol. 43 ›› Issue (31): 115-118.

• 网络、通信与安全 • 上一篇    下一篇

非滥用合同签署协议的研究

张宁蓉,张兴元,王元元   

  1. 解放军理工大学 指挥自动化学院,南京 210007
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2007-11-01 发布日期:2007-11-01
  • 通讯作者: 张宁蓉

Research on abuse－free contract signing protocol

ZHANG Ning－rong,ZHANG Xing－yuan,WANG Yuan－yuan

  

  1. Institute of Command Automation,PLA University of Science ＆ Technology,Nanjing 210007,China
  • Received:1900-01-01 Revised:1900-01-01 Online:2007-11-01 Published:2007-11-01
  • Contact: ZHANG Ning－rong

PDF

摘要： 非滥用性是合同签署协议提出的新的安全需求,人们对它的描述还模糊不明。利用交互式定理证明器Isabelle/HOL推导了“TTP的aborted仲裁”与“失败的合同签约”的不等价关系,提出了“合同签约失败”的形式定义,提出了一个新的非滥用性的形式化描述,验证了BW多方合同签署协议的非滥用性。

Abstract: Abuse－freeness is a new secure requirement proposed in contract signing protocols,and appears ambiguous.Based on the interactive theorem prover Isabelle/HOL,the paper deduces the unequivalent relation between “TTP’s abort decision” and “aborted contract signing”,gives formal definition of “contract signing failed”,proposes a new formal description of abuse－freeness,and verifies abuse－freeness of BW multi－party contract signing protocol．

京ICP备13024262号-1
Copyright © 《计算机工程与应用》编辑部
技术支持：北京玛格泰克科技发展有限公司
总访问量
今日访问
在线人数