Please note that while preparing the camera ready copy of an accepted paper, the authors must follow the IEEE Final Paper Preparation and Submission Instructions from the IEEE Computer Society Web-site.

The submission deadline for the camera ready copies of the accepted papers is April 1, 2008.

Regular Papers

Policy Validation for System Automation: A Case Study
Emmanuel Zarpas (IBM Research),
Cindy Eisner (IBM Research),
Sivan Tal (IBM Research)

Compile-time enforcement of dynamic security policies
David Eyers (University of Cambridge),
Sriram Srinivasan (University of Cambridge),
Ken Moody (Cambridge University),
Jean Bacon (University of Cambridge)

Concurrent Enforcement of Usage Control Policies
Helge Janicke (De Montfort University),
Antonio Cau (De Montfort University),
Francois Siewe (De Montfort University),
Hussein Zedan (De Montfort University)

A Consent-based Workflow System for Healthcare Systems
Giovanni Russello (Imperial College London),
Changyu Dong (Imperial College London),
Naranker Dulay (Imperial College London)

Policy-based Information Sharing in Publish/Subscribe Middleware
Jatinder Singh (University of Cambridge),
Luis Vargas (Cambridge University),
Jean Bacon (University of Cambridge),
Ken Moody (Cambridge University)

A Framework for Maximizing Utility of Sanitized Documents Based on Meta-labeling
Lei Zhang (George Mason University),
Alexander Brodsky (George Mason University),
Vipin Swarup (The MITRE Corporation),
Sushil Jajodia (George Mason University)

Systematic Policy Analysis for High-assurance Services in SELinux
Gail Ahn (UNC Charlotte),
Xinwen Zhang (Samsung Information Systems America),
Wenjuan Xu (UNC Charlotte)

Integrated Policy Explanations via Dependency Tracking
Chris Hanson (MIT),
Lalana Kagal (Massachusetts Institute of Technology),
Daniel Weitzner (MIT)

Comparing rule-based policies
Piero Bonatti (University of Naples Federico II),
Fabio Mogavero (Universita' di Napoli Federico II)

Policy Specification and Enforcement for Smart ID Cards Deployment
Ramaswamy Chandramouli (National Institute of Standards & Technology)

C^2: The Case for a Network Configuration Checking Language
Jorge Lobo (IBM T. J. Watson Research Center),
Vasileios Pappas (IBM Research)

QoS Policy Modeling and Conflict Analysis
Taghrid Samak (DePaul University),
Ehab Al-Shaer (DePaul University),
Hong Li (Intel)

A Logic for Multi-Domain Authorization Considering Administrators
Zeinab Iranmanesh (Sharif University of Technology),
Morteza Amini (Department of Computer Engineering, Sharif University of Technology),
Rasool Jalili (Sharif University of Technology)

Or Best Offer: A Privacy Policy Negotiation Protocol
Daniel Walker (Brigham Young University),
Eric Mercer (Brigham Young University),
Kent Seamons (Brigham Young University)

An Information Model and Architecture for Context-Aware Management Domains
Ricardo Neisse (University of Twente),
Patr?cia Dockhorn Costa (University of Twente),
Maarten Wegdam (Lucent),
Marten van Sinderen (University of Twente)

Policies for the Management of Ambient Networks: From Theory to Practice
Ramide Dantas (Universidade Federal de Pernambuco),
Joseane Fidalgo (UFPE),
Djamel Sadok (UFPE),
Carlos Kamienski (Universidade Federal do ABC (UFABC)),
Borje Ohlman (Ericsson Research)

New Developments in Ontology-Based Policy Management: Increasing the Practicality and Comprehensiveness of KAoS
Andrzej Uszok (Institute for Human and Machine Cognition),
Jeff Bradshaw (Florida Institute for Human and Machine Cognition)

Short Papers

Visualisation of Collaborative Policy Decomposition
John Keeney (Trinity College Dublin),
Vincent Wade (Trinity College Dublin)

Geometric Interpretation of Policy Specification
Cataldo Basile (Politecnico di Torino),
Alberto Cappadonia (Politecnico di Torino),
Antonio Lioy (Politecnico di Torino)

Policy Peering for Next Generation Networks
Kalyani Bogineni (Verizon),
Flemming Andreasen (Cisco Systems)

Using an Information Model and Associated Ontology for Selection of Policies for Conflict Analysis
Steven Davy (TSSG, Waterford Institute of Technology),
Brendan Jennings (TSSG, Waterford Institute of Technology),
John Strassner (Motorola Labs)

Automatic Compliance Verification of Privacy Policies in Federated Digital Identity Management
Anna Cinzia Squicciarini (The Pennsylvania State University),
Marco Casassa Mont (Hewlett-Packard Labs),
Abhilasha Bhargav-Spantzel (INTEL),
Elisa Bertino (Purdue University)

PEP = Point to Enhance Particularly
Romain Laborde (Institut de Recherche en Informatique de Toulouse),
Michel Kamel (Université Paul Sabatier - IRIT/SIERA),
François Barrere (Institut de Recherche en Informatique de Toulouse),
Abdelmalek Benzekri (Université Paul Sabatier)

Design Patterns for Policy-Based Service Engagements
Yathiraj Udupi (North Carolina State University),
Munindar Singh (Dept. of Computer Science, North Carolina State University)

Cross Domain Policy-Based Management
Matthew Johnson (Florida Institute for Human and Machine Cognition),
Jeff Bradshaw (Florida Institute for Human and Machine Cognition)

A Context-Aware, Policy-based Framework for Ambient Network
Moungla Hassine (INRIA)

How to enable policy-based interactions in dynamic wieless networks?
Ho Yin Starsky Wong (IBM),
Chi-Kin Chau (University of Cambridge),
Jon Crowcroft (University of Cambridge),
Kang-Won Lee (IBM)

PBNM Technology Evaluation: Practical Criteria
Alexander Poylisher (Telcordia),
Ritu Chadha (Telcordia)

An algebra for integration and analysis of Ponder2 Policies
Hang Zhao (Columbia University),
Jorge Lobo (IBM T. J. Watson Research Center),
Steven Bellovin (Columbia University)

Towards Self-Configuration of Policy-Based Management Systems
Abdelnasser Ouda (University of Western Ontario),
Hanan Lutfiyya (University of Western Ontario),
Michael Bauer (University of Western Ontario)

Model-Driven Engineering of a General Policy Modeling Language
Nima Kaviani (The University of British Columbia),
Milan Milanovic (The University of Belgrade),
Dragan Gasevic (Athabasca University),
Marek Hatala (Simon Fraser University)

Using UML to specify high-level policies that can be enforced by run-time monitoring
Fredrik Seehusen (SINTEF)

Social Network Profile and Policy
Juliana Mitchell-Wong (Swinburne University of Technology)

System demonstrations

A Demonstration of Formal Policy Reasoning Using an Extended Version of BaseVISor
Christopher J. Matheus (VIStology, Inc.)
Mieczyslaw M. Kokar (Northeastern University)
Robert Dionne (VIStology, Inc.)

A Trust Management package for Policy-Driven Protection & Personalization of Web Content
Juri Luca De Coi (L3S Research Center)
Daniel Olmedilla (L3S Research Center)
Sergej Zerr (L3S Reserch Center)
Piero Bonatti (Universita di Napoli Federico II)
Luigi Sauro (Universita di Napoli Federico II)

Demonstrating Human-Robot Coordination through Dynamic Regulation
Matthew Johnson (Florida Institute for Human and Machine Cognition)
Paul Feltovich (Florida Institute for Human and Machine Cognition)
Jeffrey M. Bradshaw (Florida Institute for Human and Machine Cognition)
Larry Bunch (Florida Institute for Human and Machine Cognition)

Demonstrating Selected W3C Policy Languages Interest Group Use Cases Using KAoS Policy Service Framework
Andrzej Uszok (Institute for Human and Machine Cognition)
Jeffrey M. Bradshaw (Florida Institute for Human and Machine Cognition)

DRAMA: Distributed Policy Management for MANETs
Ritu Chadha (Telcordia)
Cho-Yu Jason Chiang (Telcordia)

EXAM : An Environment for Access Control Policy Analysis and Management
Prathima Rao (Purdue University)
Dan Lin (Purdue University)
Elisa Bertino (Purdue University)
Ninghui Li (Purdue University)
Jorge Lobo (IBM T. J. Watson Research Center)

Policy Enabled ITA Sensor Fabric - A Distributed Framework for the Validation of Experimental Algorithms Using Real and Simulated Sensors
Flavio Bergamaschi (IBM UK Ltd.)
Dave Conway-Jones (IBM UK Ltd.)
Christopher Gibson (IBM UK Ltd.)
Andy Stanford-Clark (IBM UK Ltd.)
Dinesh Verma (IBM US)
Seraphin Calo (IBM US)
Greg Cirincione (Army Research Laboratory)
Tiem Pham (Army Research Laboratory)

Policy-Governed Information Exchange in a U.S. Army Operational Scenario
Larry Bunch (Florida Institute for Human and Machine Cognition)
Jeffrey M. Bradshaw (Florida Institute for Human and Machine Cognition)
Clifford Young (CSUSB)

Ponder2 - A Policy Environment for Autonomous Pervasive Systems
Kevin Twidle (Imperial College, London)
Emil Lupu (Imperial College London)
Naranker Dulay (Imperial College London)
Morris Sloman (Imperial College London)

The Coalition Policy Management Portal for Policy Authoring, Verification, and Deployment
Carolyn Brodie (IBM T. J. Watson Research Center)
Dave George (IBM T.J. Watson Research Center)
Clare-Marie Karat (IBM TJ Watson Research Center)
John Karat (IBM TJ Watson Research Center)
Jorge Lobo (IBM T. J. Watson Research Center)
Mandis Beigi (IBM T.J. Watson Research Center)
Xiping Wang (IBM T.J. Watson Research Center)
Seraphin Calo (IBM T.J. Watson Research Center)
Dinesh Verma (IBM T.J. Watson Research Center)
Alberto Schaeffer-Filho (Imperial College London)
Emil Lupu (Imperial College London)
Morris Sloman (Imperial College London)

---

Intel and the Intel logo are trademarks or registered trademarks of Intel Corporation or its subsidiaries in the United States and other countries.