Delegation and satisfiability in workflow systems

Proceedings of ACM Symposium on Access Control Models and Technologies, SACMAT

Volumn , Issue , 2008, Pages 31-40

  Crampton, Jason ^a   Khambhammettu, Hemanth ^a  

^a UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

Delegation; Satisfiability; Workflow management systems

Indexed keywords

AUTHORIZATION INFORMATIONS; AUTHORIZED USERS; DELEGATION; DELEGATION MECHANISMS; RESEARCH COMMUNITIES; SATISFIABILITY; SATISFIABILITY PROBLEMS; WORK-FLOW SYSTEMS; WORKFLOW EXECUTIONS; WORKFLOW MANAGEMENT SYSTEMS; WORKFLOW SPECIFICATIONS; WORKFLOWS;

ACCESS CONTROL; DISTRIBUTED COMPUTER SYSTEMS; SECURITY SYSTEMS; WORK SIMPLIFICATION;

MANAGEMENT;

EID: 57349149484     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1377836.1377842     Document Type: Conference Paper

References (11)

1. ATLURI, V., BERTINO, E., FERRARI. E., AND MAZZOLENI, P. Supporting delegation in secure workflow management systems. In Proceedings of 17th Annual IFIP WG 11.3 Working Conference on Data and Applications Security (2003), pp. 190-202.
2. ATLURI, V., AND WAINER, J. Supporting conditional delegation in secure workflow management systems. In Proceedings of 10th ACM Symposium on Access Control Models and Technologies (2005), pp. 49-58.
3. CRAMPTON, J. A reference monitor for workflow systems with constrained task execution. In Proceedings of 10th ACM Symposium on Access Control Models and. Technologies (2005), pp. 38-47.
4. CRAMPTON, J. Personal communication to Ninghui Li, November 2006.
5. CRAMPTON, J., AND KHAMBHAMMETTU, H. Delegation in role-based access control. International Journal of Information Security 7, 2 (2008), 123-136.
6. CRAMPTON, J., AND KHAMBHAMMETTU, H. On delegation and workflow execution models. In Proceedings of 23rd. ACM Symposium on Applied Computing (2008), pp. 2137-2144.
7. DOWNEY, R., AND FELLOWS, M. Parameterized Complexity. Springer, 1999.
8. KANDALA. S., AND SANDHU, R. Secure role-based workflow models. Database Security XV: Status and Prospects (2002), 45-58.
9. VENTER, K., AND OLIVIER, M. The delegation authorization model: A model for the dynamic delegation of authorization rights in a secure workflow management system. In Proceedings of Information Security South Africa (2002). Published electronically. Available at http://icsa.cs.up.ac.za/issa/2002/proceedings/A021.pdf.
10. WAINER, J., KUMAR, A., AND BARTHELMESS, P. DW-RBAC: A formal security model of delegation and revocation in workflow systems. Information Systems 32, 3 (2007), 365-384.
11. WANG, Q., AND LI, N. Satisfiability and resiliency in workflow systems. In Proceedings of 12th European Symposium On Research In Computer Security (2007), vol. 1146 of LNCS, pp. 90-115.