10.3969/j.issn.1007-130X.2009.09.006
基于Spin的SET协议模型检测研究
模型检测技术已成功地运用于验证复杂系统的性质.本文提出运用Promela语言对电子商务协议进行建模的方法,对比分析了有无入侵者时简化的SET协议的运行情况.运用Spin模型检测工具,对SET协议的Promela模型进行了检测,对电子商务协议中的
Spin、SET协议、Promela、模型检测
31
TP311(计算技术、计算机技术)
中国科学院计算机科学国家重点实验室开放课题资助项目SYSKF0908;江苏省高校自然科学研究资助项目08KJB520010
2009-10-23(万方平台首次上网日期,不代表论文的发表时间)
共4页
17-19,22