Proceedings of the 2004 ACM symposium on Applied computing
Value-oriented design of service coordination processes: correctness and trust
Proceedings of the 2005 ACM symposium on Applied computing
A model-checking approach to analysing organisational controls in a loan origination process
Proceedings of the eleventh ACM symposium on Access control models and technologies
On the Security of Delegation in Access Control Systems
ESORICS '08 Proceedings of the 13th European Symposium on Research in Computer Security: Computer Security
Business process regulatory compliance management solution frameworks: a comparative evaluation
APCCM '12 Proceedings of the Eighth Asia-Pacific Conference on Conceptual Modelling - Volume 130
| Hi-index | 0.00 |
Organisational control principles, such as thoseexpressed in the separation of duties, supervision, reviewand delegation, support the main business goals andactivities of an organisation. Some of these principleshave previously been described and analysed within thecontext of role- and policy-based distributed systems, butlittle has been done with respect to the more generalcontext they are placed in and the analysis ofrelationships between them.This paper presents a framework in whichorganisational control principles can be formallyexpressed and analysed using the Alloy specificationlanguage and its constraint analysis tools.