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.
|HTML Citation||EndNote||Dublin Core||Reference Manager|
Full text available as:
|PDF (Documentation) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader|
Identification Number or DOI: doi: 10.1109/NSS.2010.10
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.
|Item Type:||Conference or Workshop Item (Commonwealth Reporting Category E) (Paper)|
|Additional Information:||Permanent restricted access to published version due to publisher copyright restrictions. Article number 5635647.|
|Uncontrolled Keywords:||constraints specification; de facto; next-generation access; object constraint language; usage analysis; usage control|
|Fields of Research (FOR2008):||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 (SEO2008):||E Expanding Knowledge > 97 Expanding Knowledge > 970108 Expanding Knowledge in the Information and Computing Sciences|
|Deposited On:||11 Jul 2011 12:02|
|Last Modified:||23 Jan 2012 13:04|
Archive Staff Only: edit this record