Towards a usage control policy specification with petri nets

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

Volumn 5871 LNCS, Issue PART 2, 2009, Pages 905-912

  Katt, Basel ^a   Zhang, Xinwen ^b   Hafner, Michael ^a  

^a UNIVERSITY OF INNSBRUCK   (Austria)

^b SAMSUNG INFORMATION SYSTEMS AMERICA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ADVANCED CONTROLLING; COLLABORATIVE COMPUTING; POLICY MODEL; RIGHT MANAGEMENT; SHARED RESOURCES; SYSTEM BEHAVIORS; USAGE CONTROL;

ACCESS CONTROL; BEHAVIORAL RESEARCH; DISTRIBUTED COMPUTER SYSTEMS; INTERNET; PETRI NETS; SECURITY SYSTEMS; SPECIFICATIONS;

CONCURRENCY CONTROL;

EID: 78650703724     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-05151-7_11     Document Type: Conference Paper

References (9)

1. Hilty, M., Pretschner, A., Basin, D., Schaefer, C., Walter, T.: A policy language for distributed usage control. In: Biskup, J., López, J. (eds.) ESORICS 2007. LNCS, vol. 4734, pp. 531-546. Springer, Heidelberg (2007)
2. Janicke, H., Cau, A., Siewe, F., Zedan, H.: Concurrent enforcement of usage control policies. In: IEEE Policy 2008 (2008)
3. Janicke, H., Cau, A., Zedan, H.: A note on the formalization of ucon. In: ACM SACMAT 2007 (2007)
4. Jensen, K.: Coloured Petri Nets, vol. 1. Springer, Heidelberg (1992)
5. Katt, B., Zhang, X., Breu, R., Hafner, M., Seifert, J.-P.: A general obligation model and continuity enhanced policy enforcement engine for usage control. In: ACM SACMAT 2008 (2008)
6. Martinelli, F., Mori, P.: A Model for Usage Control in GRID systems. In: ICST SecureComm 2007 (2007)
7. Park, J., Sandhu, R.: The ucon abc usage control model. ACM TISSEC 7(1), 128-174 (2004)
8. Pretschner, A., Hilty, M., Schütz, F., Schaefer, C., Walter, T.: Usage control enforcement: Present and future. IEEE Security and Privacy 6(4), 44-53 (2008)
9. Zhang, X., Parisi-Presicce, F., Sandhu, R., Park, J.: Formal model and policy specification of usage control. ACM TISSEC 8(4), 351-387 (2005)