Formal Analysis of Segregation of Duties (SoD) in Accounting: A Computational Approach.

• Kim, Rosemary ^[1] ; Gangolly, Jagdish ^[2] ; Ravi, S. S. ^[2] ; Rosenkrantz, Daniel J. ^[2]
  1. [1] Loyola Marymount University

     Loyola Marymount University

     Estados Unidos

     
  2. [2] State University of New York

     State University of New York

     City of Albany, Estados Unidos

     
• Localización: Abacus: A journal of accounting, finance and business studies, ISSN 0001-3072, Vol. 56, Nº 2, 2020, págs. 165-212
• Idioma: inglés
• DOI: 10.1111/abac.12190
• Texto completo no disponible (Saber más ...)
• Resumen

  • This study examines a computational framework for segregation of duties (SoD) in the design as well as implementation of accounting systems. The framework consists of a model of workflows in accounting systems based on workflow graphs, a partial order model of roles performed by the actors in the accounting system, and a specification of SoD rules. We develop a set of algorithms for four SoD rules that can be used in the enforcement of SoD. For the SoD rule that precludes task type conflicts, our results show that while compliance verification can be carried out efficiently, finding an SoD compliant assignment of tasks is computationally intractable. For those situations, we present an integer linear programming (ILP) formulation for finding compliant assignments using public domain ILP solvers. For the remaining three SoD rules, we demonstrate efficient ways of testing compliance for a given assignment as well as finding compliant assignments. [ABSTRACT FROM AUTHOR]