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

• 作者: 吉猛 胡克瑾
• 来源期刊: 陕西师范大学学报（自然科学版）
• 学科: 工学
• 关键词: 电子商务 形式化验证 模型检测
• 年，卷（期）: 2006,（4）
• 所属期刊栏目: 专题研究
• 页码范围: 29-32
• 页数: 4页
• 分类号: TP3
• 字数: 4478字
• 语种: 中文
• DOI: 10.3321/j.issn:1672-4291.2006.04.007

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	胡克瑾	同济大学经济与管理学院	81	618	14.0	20.0
2	吉猛	同济大学经济与管理学院	1	0	0.0	0.0