© 1986 by British Computer Society
The Segregation of Incompatible Duties
Computer Science Department, Heriot-Watt University, 79 Grassmarket, Edinburgh EH1 2HJ
One of the most important elements of an internal control system is the segregation of incompatible functions. Essential to this process is the task of identifying the sets of functions which are incompatible. Once these have been determined the access capabilities (both direct and indirect) of each individual or group in the organisation must be traced to ensure that no person has access to a set of incompatible functions. The logic programming language Prolog can be used to assist in this process.
Received January 1984.
* Address for correspondence: Professor M.H. Williams, Department of Computer Science, Heriot-Watt University, 79 Grassmarket, Edinburgh EH1 2HJ.
Computer Science Department, Heriot-Watt University, 79 Grassmarket, Edinburgh EH1 2HJ