A Workflow Instance-based Model-checking Approach to Analysing Organisational Controls in a Loan Origination Process
Role Based Access Control Models