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

• 作者: 张兴元 张宁蓉 王元元
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 形式验证 合同签署协议 非滥用性 数字签名
• 年，卷（期）: 2007,（31）
• 所属期刊栏目: 网络、通信与安全
• 页码范围: 115-118
• 页数: 4页
• 分类号: TP393.04
• 字数: 4053字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2007.31.035

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王元元	解放军理工大学指挥自动化学院	46	351	12.0	16.0
2	张兴元	解放军理工大学指挥自动化学院	14	20	2.0	3.0
3	张宁蓉	解放军理工大学指挥自动化学院	9	35	3.0	5.0