Specifying usage control model with object constraint language

Li, Min and Wang, Hua (2010) Specifying usage control model with object constraint language. In: NSS 2010: 4th International Conference on Network and System Security , 1-3 Sep 2010, Melbourne, Australia.

PDF (Documentation)

Download (384Kb)


The recent usage control model (UCON) is a foundation for next-generation access control models with distinguishing properties of decision continuity and attribute mutability. Constraints in UCON are one of the most important components that have involved in the principle motivations
of usage analysis and design. The importance of constraints
associated with authorizations, obligations, and conditions in UCON has been recognized but modeling these constraints has not been received much attention. In this paper we use a defacto constraints specification language in software engineering to analyze the constraints in UCON model. We show how to represent constraints with object constraint language (OCL) and give out a formalized specification of UCON model which is built from basic constraints, such as authorization predicates, obligation actions and condition requirements. Further, we show the flexibility and expressive capability of this specified UCON model with extensive examples.

Statistics for USQ ePrint 18269
Statistics for this ePrint Item
Item Type: Conference or Workshop Item (Commonwealth Reporting Category E) (Paper)
Refereed: Yes
Item Status: Live Archive
Additional Information: Permanent restricted access to published version due to publisher copyright restrictions. Article number 5635647.
Faculty / Department / School: Historic - Faculty of Sciences - Department of Maths and Computing
Date Deposited: 11 Jul 2011 02:02
Last Modified: 03 Jul 2013 00:28
Uncontrolled Keywords: constraints specification; de facto; next-generation access; object constraint language; usage analysis; usage control
Fields of Research : 08 Information and Computing Sciences > 0802 Computation Theory and Mathematics > 080203 Computational Logic and Formal Languages
08 Information and Computing Sciences > 0803 Computer Software > 080309 Software Engineering
08 Information and Computing Sciences > 0806 Information Systems > 080609 Information Systems Management
Socio-Economic Objective: E Expanding Knowledge > 97 Expanding Knowledge > 970108 Expanding Knowledge in the Information and Computing Sciences
Identification Number or DOI: 10.1109/NSS.2010.10
URI: http://eprints.usq.edu.au/id/eprint/18269

Actions (login required)

View Item Archive Repository Staff Only