From state-based to event-based contextual security policies

In this paper, we present a formal contextual security model for pervasive computing applications. Main features of the model are: support of authorization and obligation policies, monitoring and dynamic revocation of access rights, support of personalized security rule contexts, and support of collaborative applications. The model is also logic-based. Therefore, it enables the use of formal policy conflict and dynamic system analysis techniques.