From state-based to event-based contextual security policies

Author

El Rakaiby, Yehia ; Cuppens, Frédéric ; Cuppens-Boulahia, Nora

Author_Institution

TELECOM-Bretagne, Cesson-Sevigne, France

fYear

2009

fDate

1-4 Nov. 2009

Firstpage

1

Lastpage

7

Abstract

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.

Keywords

authorisation; groupware; ubiquitous computing; access rights revocation; authorization policy support; collaborative applications support; dynamic system analysis technique; event-based contextual security policy; formal policy conflict technique; logic-based contextual security policy; pervasive computing; state-based contextual security policy; Access control; Authorization; Collaboration; Context modeling; Displays; Information security; Monitoring; Permission; Pervasive computing; Telecommunications;

fLanguage

English

Publisher

ieee

Conference_Titel

Digital Information Management, 2009. ICDIM 2009. Fourth International Conference on

Conference_Location

Ann Arbor, MI

Print_ISBN

978-1-4244-4253-9

Electronic_ISBN

978-1-4244-4254-6

Type

conf

DOI

10.1109/ICDIM.2009.5356768

Filename

5356768