基于模型检测的电子商务鉴证技术

摘要：

提出了将形式化验证特别是模型检测技术应用于电子商务系统的第三方验证,给出审计师选择模型检测器的方法和应用步骤.分析了验证示例,以说明模型检测技术在电子商务鉴证应用中可行性和完备性.

关键词：电子商务、形式化验证、模型检测

所属期刊栏目：34

分类号：TP3(计算技术、计算机技术)

资助基金：上海市科技发展基金03DZ05025

在线出版日期：2007-01-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：29-32