[论文解读] Protecting Spreadsheets Against Fraud

Roland T. Mittermeir, Markus Clermont+1 more|arXiv (Cornell University)|Jan 28, 2008

Spreadsheets and End-User Computing参考文献 16被引用 5

一句话总结

本文提出了一套框架，通过区分故意欺诈与偶然错误，以检测而非预防为核心，保护电子表格免受故意欺诈。该框架将电子表格欺诈防护与传统软件安全进行对比，倡导采用审计就绪设计、访问控制、版本控制以及密码学技术，以检测和威慑恶意修改，而无需依赖作者的配合。

ABSTRACT

Previous research on spreadsheet risks has predominantly focussed on errors inadvertently introduced by spreadsheet writers i.e. it focussed on the end-user aspects of spreadsheet development. When analyzing a faulty spreadsheet, one might not be able to determine whether a particular error (fault) has been made by mistake or with fraudulent intentions. However, the fences protecting against fraudulent errors have to be different from those shielding against inadvertent mistakes. Faults resulting from errors committed inadvertently can be prevented ab initio by tools that notify the spreadsheet writer about potential problems whereas faults that are introduced on purpose have to be discovered by auditors without the cooperation of their originators. Even worse, some spreadsheet writers will do their best to conceal fraudulent parts of their spreadsheets from auditors. In this paper we survey the available means for fraud protection by contrasting approaches suitable for spreadsheets with those known from fraud protection for conventional software.

研究动机与目标

• 通过聚焦于故意欺诈而非偶然错误，弥合电子表格安全中的关键空白。
• 区分用于防范电子表格开发中无意错误的机制与欺诈防护机制。
• 开发不依赖于电子表格作者合作的以检测为导向的策略。
• 将传统软件欺诈防护技术适配至电子表格应用的独特情境。
• 提出实用且可审计的控制措施，如版本控制、访问日志记录和密码学完整性检查，用于电子表格。

提出的方法

• 将传统软件欺诈检测技术（如访问控制和日志记录）适配至电子表格环境。
• 实施版本控制系统，以追踪变更并随时间识别可疑修改。
• 使用密码学哈希技术确保数据完整性并检测未经授权的更改。
• 设计审计日志，记录用户操作和变更，而无需作者配合。
• 集成访问控制机制，限制谁可以修改特定单元格或工作表。
• 提出一种分层防御模型，结合技术控制与程序化审计，以检测恶意意图。

实验结果

研究问题

• RQ1 如何以一种能指导适当防护措施的方式，区分电子表格中的欺诈行为与偶然错误？
• RQ2 哪些技术和程序控制措施可应用于检测故意电子表格欺诈，而无需原始作者的配合？
• RQ3 传统软件欺诈防护技术如何适用于电子表格应用的独特特性？
• RQ4 审计日志、版本控制和密码学生完整性检查在检测恶意电子表格修改中发挥什么作用？
• RQ5 当应用于电子表格中的故意欺诈时，错误检测工具存在哪些局限性？

主要发现

• 标准错误检测工具无法防止电子表格中的欺诈性错误，因为这些工具专为偶然错误设计。
• 密码学哈希和版本控制显著提高了对电子表格中恶意更改的可检测性。
• 带有访问日志记录的审计日志即使在作者隐藏其行为的情况下，也能实现事后对未经授权修改的检测。
• 访问控制机制通过限制谁可以修改关键单元格或公式，减少了攻击面。
• 本文证明，电子表格中的欺诈防护需要从预防转向检测，这与传统电子表格工具中错误预防的范式不同。
• 通过对比分析电子表格特有威胁与既有的软件欺诈对策，验证了所提出的框架。