基于Spin的SET协议模型检测研究

摘要：

模型检测技术已成功地运用于验证复杂系统的性质。本文提出运用Promela语言对电子商务协议进行建模的方法,对比分析了有无入侵者时简化的SET协议的运行情况。运用Spin模型检测工具,对SET协议的Promela模型进行了检测。

关键词： Promela语言 电子商务 SET协议 模型检测

作者: 陈道喜 戎玫 张广泉

作者单位: 苏州大学计算机科学与技术学院,江苏,苏州,215006;苏州技师学院,江苏,苏州,215009 暨南大学深圳旅游学院,广东,深圳,518053 苏州大学计算机科学与技术学院,江苏,苏州,215006;中国科学院计算机科学国家重点实验室,北京,100080

会议类型: 国内会议

会议名称: 2009年全国理论计算机科学学术年会

会议地点: 哈尔滨

会议语种:中文

页码: 17-19,22

在线出版日期: 2009-08-07（万方平台首次上网日期，不代表论文的发表时间）