Social processes and proofs of theorems and programs
Communications of the ACM
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Hi-index | 0.00 |
Satisfactory accountability, that is, a control structure which protects corporate assets from theft, misuse, and fraud, is an important aspect of office information system design. The OIS design goals of flexibility, efficiency, and modularity must not preclude the accountability needs of managers, stockholders, and auditors. This will require meticulous examination of the OIS to ensure that it satisfies the multi-attribute control criteria used by auditors.