| 基于模型检测的电子商务鉴证技术 |
| |
| 引用本文： | 吉猛,胡克瑾.基于模型检测的电子商务鉴证技术[J].陕西师范大学学报,2006,34(4):29-32. |
| |
| 作者姓名： | 吉猛 胡克瑾 |
| |
| 作者单位： | 同济大学经济与管理学院 上海200092 |
| |
| 摘 要： | 提出了将形式化验证特别是模型检测技术应用于电子商务系统的第三方验证,给出审计师选择模型检测器的方法和应用步骤.分析了验证示例,以说明模型检测技术在电子商务鉴证应用中可行性和完备性.
|
| 关 键 词： | 电子商务 形式化验证 模型检测 |
| 文章编号： | 1672-4291（2006）04-0029-04 |
| 收稿时间： | 2006-05-15 |
| 修稿时间： | 2006年5月15日 |
An e-business assurance technique based on model-checking |
| |
| JI Meng,HU Ke-jin.An e-business assurance technique based on model-checking[J].Journal of Shaanxi Normal University: Nat Sci Ed,2006,34(4):29-32. |
| |
| Authors: | JI Meng HU Ke-jin |
| |
| Institution: | School of Economics and Management, Tongji University, Shanghai 200092, China |
| |
| Abstract: | This article proposes a third-party verification of e-business system by using formal verification,especially model checking. The method and applying procedure for auditors to choose model checker are presented,a verification example is analyzed so as to illustrate the feasibility and completeness of the e-business assurance technique based on model-checking. |
| |
| Keywords: | e-business formal verification model-checking |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
