保护个人的利益——电子商务协议新属性的自动验证

• 作者: 博诺 黄连生
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 电子商务协议 自动验证 模型检验
• 年，卷（期）: 2004,（12）
• 所属期刊栏目: 网络、通信与安全
• 页码范围: 153-155,226
• 页数: 4页
• 分类号: TP393
• 字数: 4464字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2004.12.048

摘要

电子商务的快速发展加强了电子商务协议的新类型的需求,尤其对各种复杂协议的需求,这使得协议本身安全性的证明变得更为困难.为了证明电子商务协议的可靠性,研究人员已设计了各种方法.为了更加清楚地描述需要证明的电子商务协议的安全目标,研究者们已经提出了几种标志性属性,其中之一是较著名的原子性[8],但这并不能完全描述电子商务协议的全部安全性定义.在[1]里,研究员对一项有研究价值的新属性进行了研究,称为“保护个人的利益”,并且提出一个手工验证的模型.该模型虽然有效,但是实用性较差.文章提出了一个基于模型检验这种技术的自动验证方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄连生	清华大学计算机系网络技术研究所	15	144	6.0	12.0
2	博诺	清华大学计算机系网络技术研究所	1	0	0.0	0.0