Satisfiability and resiliency in workflow systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4734 LNCS, Issue , 2007, Pages 90-105

  Wang, Qihua ^a   Li, Ninghui ^a  

^a Purdue University

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; MATHEMATICAL MODELS; PROBLEM SOLVING; USER INTERFACES;

DECREMENTAL RESILIENCY; STATIC RESILIENCY; WORKFLOW SYSTEMS;

SECURITY OF DATA;

EID: 38049066016     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74835-9_7     Document Type: Conference Paper

References (12)

1. Atluri, V., Huang, W.: An authorization model for workflows. In: Martella, G., Kurth, H., Montolivo, E., Bertino, E. (eds.) ESORICS 96. LNCS, vol. 1146, pp. 44-64. Springer, Heidelberg (1996)
2. Atluri, V., Warner, J.: Supporting conditional delegation in secure workflow management systems. In: SACMAT 'OS: Proceedings of the tenth ACM symposium on Access control models and technologies, pp. 49-58. ACM Press, New York (2005)
3. Bertino, E., Ferrari, E., Atluri, V.: The specification and enforcement of authorization constraints in workflow management systems. ACM Transactions on Information and System Security 2(1), 65-104 (1999)
4. Clark, D.D., Wilson, D.R.: A comparision of commercial and military computer security policies. In: Proceedings of the 1987 IEEE Symposium on Security and Privacy, pp. 184-194. IEEE Computer Society Press, Los Alamitos (May 1987)
5. Crampton, J.: A reference monitor for workflow systems with constrained task execution. In: SACMAT 2005. Proceedings of the Tenth ACM Symposium on Access Control Models and Technologies, Stockholm, Sweden, pp. 38-47. ACM Press, New York (June 2005)
6. Downey, R., Fellows, M.: Parameterized Complexity. Springer, Heidelberg (1999)
7. Kang, M.H., Park, J.S., Froscher, J.N.: Access control mechanisms for inter-organizational workflow, pp. 66-74 (2001)
8. Li, N., Tripunitara, M.V., Wang, Q.: Resiliency policies in access control. In: CCS. Proc. ACM Conference on Computer and Communications Security, ACM Press, New York (November 2006)
9. Sandhu, R.S., Coyne, E.J., Feinstein, H.L., Youman, C.E.: Role-based access control models. IEEE Computer 29(2), 38-47 (1996)
10. Tan, K., Crampton, J., Gunter, C.: The consistency of task-based authorization constraints in workflow systems. In: CSFW. Proceedings of the 17th IEEE Computer Security Foundations Workshop, pp. 155-169. IEEE Computer Society Press, Los Alamitos (2004)
11. Wang, Q., Li, N.: Satisfiability and resiliency in workflow systems. Technical Report CERIAS-TR-2007-28, Center for Education and Research in Information Assurance and Security, Purdue University (2007)
12. Warner, J., Atluri, V.: Inter-instance authorization constraints for secure workflow management. In: SACMAT. Proc. ACM Symposium on Access Control Models and Technologies, pp. 190-199. ACM Press, New York (2006)