Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for Distributed Systems and Networks (2003)
Lake Como, Italy
June 4, 2003 to June 6, 2003
L. Kagal , Dept. of Comput. Sci. & Electr. Eng., Maryland Univ., Baltimore, MD, USA
T. Finin , Dept. of Comput. Sci. & Electr. Eng., Maryland Univ., Baltimore, MD, USA
Anupam Joshi , Dept. of Comput. Sci. & Electr. Eng., Maryland Univ., Baltimore, MD, USA
We describe a policy language designed for pervasive computing applications that is based on deontic concepts and grounded in a semantic language. The pervasive computing environments under consideration are those in which people and devices are mobile and use various wireless networking technologies to discover and access services and devices in their vicinity. Such pervasive environments lend themselves to policy-based security due to their extremely dynamic nature. Using policies allows the security functionality to be modified without changing the implementation of the entities involved. However, along with being extremely dynamic, these environments also tend to span several domains and be made up of entities of varied capabilities. A policy language for environments of this sort needs to be very expressive but lightweight and easily extensible. We demonstrate the feasibility of our policy language in pervasive environments through a prototype used as part of a secure pervasive system.
formal specification, ubiquitous computing, programming language semantics, security of data
L. Kagal, T. Finin and Anupam Joshi, "A policy language for a pervasive computing environment," Policies for Distributed Systems and Networks, IEEE International Workshop on(POLICY), Lake Como, Italy, , pp. 63,64,65,66,67,68,69,70,71,72,73,74.