Security Policies in Pervasive Systems

In this thesis, a framework for security policies in pervasive systems has been designed. Based on a modular software architecture and an extensible policy model in description logic, several modules supporting increasingly complex scenarios of policy-controlled pervasive systems have been created. Besides traditional access control, the framework allows to control self-adaptive systems by high-level policies and supports autonomous negotiation and conflict resolution between policy domains.