| 非滥用合同签署协议的研究 |
| |
| 引用本文： | 张宁蓉,张兴元,王元元.非滥用合同签署协议的研究[J].计算机工程与应用,2007,43(31):115-118. |
| |
| 作者姓名： | 张宁蓉 张兴元 王元元 |
| |
| 作者单位： | 解放军理工大学,指挥自动化学院,南京,210007;解放军理工大学,指挥自动化学院,南京,210007;解放军理工大学,指挥自动化学院,南京,210007 |
| |
| 摘 要： | 非滥用性是合同签署协议提出的新的安全需求,人们对它的描述还模糊不明。利用交互式定理证明器Isabelle/HOL推导了“TTP的aborted仲裁”与“失败的合同签约”的不等价关系,提出了“合同签约失败”的形式定义,提出了一个新的非滥用性的形式化描述,验证了BW多方合同签署协议的非滥用性。
|
| 关 键 词： | 形式验证 合同签署协议 非滥用性 数字签名 |
| 文章编号： | 1002-8331（2007）31-0115-04 |
| 修稿时间： | 2007-07 |
Research on abuse-free contract signing protocol |
| |
| ZHANG Ning-rong,ZHANG Xing-yuan,WANG Yuan-yuan.Research on abuse-free contract signing protocol[J].Computer Engineering and Applications,2007,43(31):115-118. |
| |
| Authors: | ZHANG Ning-rong ZHANG Xing-yuan WANG Yuan-yuan |
| |
| Affiliation: | Institute of Command Automation,PLA University of Science ＆ Technology,Nanjing 210007,China |
| |
| Abstract: | |
| |
| Keywords: | formal verification contract signing protocol abuse-freeness digital signature |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
|
