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

Rosemary Kim, Jagdish Gangolly, S. S. Ravi and Daniel J. Rosenkrantz

Abacus, 2020, vol. 56, issue 2, 165-212

Abstract: 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.

Date: 2020
References: View references in EconPapers View complete reference list from CitEc
Citations:

Downloads: (external link)
https://doi.org/10.1111/abac.12190

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:bla:abacus:v:56:y:2020:i:2:p:165-212

Ordering information: This journal article can be ordered from
http://www.blackwell ... bs.asp?ref=0001-3072

Access Statistics for this article

Abacus is currently edited by G.W. Dean and S. Jones

More articles in Abacus from Accounting Foundation, University of Sydney
Bibliographic data for series maintained by Wiley Content Delivery ().