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.
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|
|Depositing User:||Dr Hua Wang|
|Date Deposited:||11 Jul 2011 02:02|
|Last Modified:||03 Jul 2013 00:28|
Actions (login required)
|Archive Repository Staff Only|