Netbill协议原子性的符号模型检验分析

• 作者: 古天龙 董荣胜 蔡国永 郭云川
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 电子商务协议 符号模型检验 原子性
• 年，卷（期）: 2004,（2）
• 所属期刊栏目: 学术探讨
• 页码范围: 57-59
• 页数: 3页
• 分类号: TP311
• 字数: 3012字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2004.02.019

摘要

电子商务协议的安全性和原子性是电子商务研究者和使用者广泛关心的问题,采取一定的方法对协议进行分析检验是协议开发过程中一个必要环节.论文在对Netbill协议及其原子性进行形式化描述的基础上,基于符号模型检验器(SMV)从钱原子性和商品原子性两个角度对Netbill协议进行了分析和检验,从而表明了用SMV对电子商务协议分析和验证的可行性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	古天龙	桂林电子工业学院计算机系	207	1546	18.0	30.0
2	蔡国永	桂林电子工业学院计算机系	98	400	12.0	15.0
3	董荣胜	桂林电子工业学院计算机系	115	1521	13.0	37.0
4	郭云川	桂林电子工业学院计算机系	25	119	8.0	10.0