基于模型检测的审计方法逻辑正确性验证

摘要：

利用模型检测的建模方法,对审计方法及其计算过程和期望的计算结果进行建模,并在模型检测器上对逻辑性较强的凭证断号检查审计方法进行验证,提出一个利用模型检测方法对审计方法逻辑正确性验证的框架.利用模型检测器给出的反例,对验证的审计方法进行修正.实验结果表明,模型检测方法能验证审计方法逻辑的正确性.

关键词：形式化验证、模型检测、审计方法

所属期刊栏目：55

分类号：TP311.5(计算技术、计算机技术)

资助基金：国家自然科学基金71272216;国家科技支撑计划项目2012BAH08B02

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

页数：共8页

页码：1261-1268