Results 1 -
2 of
2
Enforcement of CA-UCON Model
, 2015
"... Abstract: A CA-UCON (Context-Aware Usage CONtrol) model is an extension of the traditional UCON (Usage CONtrol) model which enables adaptation to environmental changes in the aim of preserving continuity of access. When the authorisations and obligations requirements are met by the subject and the ..."
Abstract
- Add to MetaCart
(Show Context)
Abstract: A CA-UCON (Context-Aware Usage CONtrol) model is an extension of the traditional UCON (Usage CONtrol) model which enables adaptation to environmental changes in the aim of preserving continuity of access. When the authorisations and obligations requirements are met by the subject and the object, and the conditions requirements fail due to changes in the environment or the system context, CA-UCON model triggers specific actions to adapt to the new situation. Besides the data protection, CA-UCON model also enhances the quality of services, striving to keep explicit interactions with the user at a minimum. In this paper, we propose an architecture of the reference monitor for the CA-UCON model and investigate a variety of enforcement approaches in ubiquitous computing systems; whether centralised, distributed or hybrid; depending on applications.
Formal Specification of CA-UCON model using CCA
"... UCON) model is an extension of the traditional UCON model which enables adaptation to environmental changes in the aim of preserving continuity of usage in a per-vasive computing system. When the authorisations and obligations requirements are met by the subject and the object, and the conditions re ..."
Abstract
- Add to MetaCart
UCON) model is an extension of the traditional UCON model which enables adaptation to environmental changes in the aim of preserving continuity of usage in a per-vasive computing system. When the authorisations and obligations requirements are met by the subject and the object, and the conditions requirements fail due to changes in the environment or the system context, CA-UCON model triggers specific actions to adapt to the new situation. Besides the data protection, CA-UCON model so enhances the quality of services, striving to keep explicit interactions with the user at a minimum. This paper proposes a formal specification of the CA-UCON model in the Calculus of Context-aware Ambients (CCA in short). This enables formal analysis of the CA-UCON model using the execution environment of CCA. For illustration, some properties of the CA-UCON model are validated for a ubiquitous learning system. Keywords-Pervasive system, context-aware, usage con-trol, CCA I.
