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

• 作者: 关晓康 朱璧如 李艳梅 李雅 黄少滨
• 来源期刊: 吉林大学学报（理学版）
• 学科: 工学
• 关键词: 形式化验证 模型检测 审计方法
• 年，卷（期）: 2017,（5）
• 所属期刊栏目: 计算机科学
• 页码范围: 1261-1268
• 页数: 8页
• 分类号: TP311.5
• 字数: 7777字
• 语种: 中文
• DOI: 10.13413/j.cnki.jdxblxb.2017.05.40

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄少滨	哈尔滨工程大学计算机科学与技术学院	55	319	10.0	15.0
2	李艳梅	哈尔滨工程大学计算机科学与技术学院	14	107	6.0	10.0
3	李雅	哈尔滨工程大学计算机科学与技术学院	4	9	3.0	3.0
4	关晓康	哈尔滨工程大学计算机科学与技术学院	1	0	0.0	0.0
5	朱璧如	吉林大学计算机科学与技术学院	1	0	0.0	0.0