Program (Provisional)

The workshop program includes 17 full papers and 10 short papers selected from 51 submissions; as well as 2 invited talks, a panel and potentially some Birds of a Feather sessions (to be announced).

Wednesday 4th June 2003

08:30 - 09:15 Sign-in and Coffee

09:15 - 09:30 Welcome, Hanan Lutfiyya, Workshop Chair

09:30 - 10:30 Keynote, Andrea Westerinen (Chair: Morris Sloman)

Title: What Is Policy? And, What Can It Be? (Abstract) (Presentation)

10:30 - 11:00 Coffee

11:00 - 12:30 Specification and Analysis (Chair: Jonathan Moffet)

Chisel: A Policy-Driven, Context-Aware, Dynamic Adaptation Framework: John Keeney, Vinny Cahill

Using UML and Maude for Writting and Reasoning about ODP Policies: Francisco Duran, Javier Herrador, Antonio Vallecillo

Using Event Calculus to Formalise Policy Specification and Analysis: Arosha Bandara, Emil Lupu, Alessandra Russo

12:30 - 13:45 Lunch

13:45 - 15:15 Networks and Mobile Systems (Chair: Francisco Garcia)

Prediction-Based Policy Adaptation for QoS Management in Wireless Networks: Nancy Samaan, Ahmed Karmouch

PECAN: Policy-Enabled Configuration Across Networks: Ritu Chadha, Yuu-Heng Cheng, Narayanan Natarajan, Alex Povlisher, Shrirang Gadgil, Abdelhakin Hafid

A Policy Language for Pervasive Systems: Lalana Kagal, Tim Finin

15:15 - 15:45 Coffee

15:45 - 17:15 Short Papers 1 (Chair: Marcus Brunner)

Analysis of Integrity Policies using Soft Constraints: Stefano Bistarelli, Simon N Foley

Trust-X: an XML Framework for Trust Negotiations: Elisa Bertino, Elena Ferrari, Anna Cinzia Squicciarini

Policy-based Information Management for the Joint BattleSpace Infosphere: R. Cherinka, C. Wild, D. Allen, C. Smith, Y. Zhang, R. Panek

Toolkit-Based Approach to Supporting Storage Policy Templates: Murthy Devarakonda, Alla Segal, David Chess

KAoS Policy and Domain Services: Toward a Description-Logic Approach to Policy Representation, Deconfliction and Enforcement: A. Uszok et. al.

17:30 - 18:30 Birds of a Feather Sessions (Parallel)

These will be announced, based on interest, on the day.

Thursday 5th June 2003

09:30 - 10:30 Invited Talk: Ronald G. Ross (Chair: Naranker Dulay)

Title: The Business Rule Approach (Abstract) (Presentation)

10:30 - 11:00 Coffee

11:00 - 12:30 Access Control (Chair: Emil Lupu)

Policy Contexts: Controlling Information Flow in Parameterised  RBAC: Andras Belokosztolszki, David M. Eyers, Ken Moody

Towards Automated Negotiation of Access Control Policies: Vijay G. Bharadwaj, John S. Baras

Organization based access control: Cuppens, Balbiani, El Baida, Benferhat, Deswartes, Saurel, etc

12:30 - 13:45 Lunch

13:45 - 15:15 Security and Privacy (Chair: Elisa Bertino)

Translating Privacy Practices into Privacy Promises --- How to promise what you can keep: Günter Karjoth,, Matthias Schunter, Els Van Herreweghen

Spatial Policies for Sentient Mobile Applications: David Scott, Alan Mycroft, Alastair Beresford

Analyzing Security-Enhanced Linux Policy Specifications: Myla Archer, Elizabeth Leonard, Matteo Pradella

15:15 - 15:45 Policy Management in the Large (Chair: Ken Moody)

Towards Explicit Policy Management in Virtual Organizations: Glenn Wasson, Marty Humphrey

Towards Federated Policy Management: Richard Hull, Bharat Kumar, Daniel Lieuwen

16:30 - 22:30 Event

Friday 6th June 2003

9:00 - 10:30 Panel (Chair: Madhur Kohli)

Title: Automation vs. Specification

Panelists: Emil Lupu, Elisa Bertino, Ritu Chadha and Jonathan Moffet

A starter set of questions:

What use are specifications if not to drive automation?

If automation is critical, why aren't there more large scale policy execution systems?

Is automation safe? What are the requirements that ensure safety?

What forms of specifications can be used to directly derive automated behavior?

10:30 - 11:00 Coffee

11:00 - 12:30 Applications (Chair: Paulo Ferreira)

Policy Based Electronic Transmission of Prescriptions: David Chadwick, Darren Mundy

Using Policies in the Checking of Business to Business Contracts: Peter F. Linington, Stephen Neal

Component Software and Policy-Driven Licensing Model: Qian Zhao, Yu Zhou, Mark Perry

12:30 - 13:45 Lunch

13:45 - 15:15 Short Papers 2 (Chair: Hanan Lutfiyya)

Enforcing History-Based Security Policies in Mobile Agent Systems: Pedro Dias, Carlos Ribeiro, Paulo Ferreira

A Policy Based Approach for Automated Topology Management of Peer To Peer Networks and a Prototype Implementation: Alessandro Amoroso, Antonio Di Ferdinando, Paul Mckee

Inter-Domains policy negociation: François Barrere, Abdelmalek Benzekri, Frédéric Grasset, Romain Laborde, Bassem Nasser

A PBNM System for Integrated QoS and Multicast Management: Lisandro Zambenedetti Granville, Leandro Vaguetti, Maria Janilce Bosquiroli Almeida, Liane Margarida Rockenbach Tarouco

Enforcement of Communication Policies in Software Agent Systems through Mobile Code: Niranjan Suri, Marco Carvalho, Jeffrey M. Bradshaw, Maggie R. Breedy, Thomas B. Cowin, Paul T. Groth




Last updated 10 June, 2003