IEEE Policy 2007
-- Technical Program --



June 13, 2007

Workshop Opening
(Aula Magna) 

9:00-9:10 Welcome by Rebecca/Claudio

9:10-9:20 Program introduction by Dakshi, Elisa and Lalana

9:15-10:15 Invited Talk: Emil Lupu
Autonomous Pervasive Systems and the Policy Challenges of a Small World!

10:15-10:30 Coffee break

10:30-12:00 Long papers (3) (20 mins for presentation + 10 for questions)

Session I :  Modeling policies
(Aula Magna) 
Chair: Hanan Lutfiyya (University of Western Ontario)

B. Solhaug (SINTEF ICT), D. Elgesem (University of Bergen), K. Stolen (SINTEF ICT and University of Oslo)
Specifying Policies Using UML Sequence Diagrams - An Evaluation based on a Case Study

T. Ryutov (USC Information Sciences Institute)
A Socio-cognitive Approach to Modeling Policies in Open Environments

S. Baselice, P. Bonatti, M. Faella (University of Naples)
On Interoperable Trust Negotiation Strategies

12:00-1:30 Lunch

1:30-3:00 Short papers (5) (10 mins for presentation + 8 for questions)

Session II :  Policy design and management
(Aula Magna)
Chair: Emil Lupu (Imperial College London)

M. Casassa Mont, F. Beato (HP Labs)
On Parametric Obligation Policies: Enabling Privacy-aware Information Lifecycle Management in Enterprises

K. Feeney, D. Lewis, V. Wade (Trinity College Dublin)
Handling Dynamic Organizational Change with Community-Based Policy Management

T. Rochaeli, C. Eckert (Darmstadt University of Technology)
Expertise Knowledge-based Policy Refinement Process

H. A. Salam, K. Maly, R. Mukkamala, M. Zubair (Old Dominion University)
Infrastructure-aware Autonomic Manager for Change Management

W. Dobmeier, G. Pernul (University of Regensburg)
Towards Privacy-aware Handling of Authorizations

3:00-3:30 Coffee Break

3.30-5:00 Semantic Web Long Papers (3) (20 mins for presentation + 10
for questions)

Session III : XML-Based policies
(Aula Magna) 
Chair: Alessandra Toninelli (DEIS - University of Bologna)

C. Kamienski (Universidade Federal do ABC), J. Fidalgo,
R. Dantas, D. Sadok (Universidade Federal de Parnambuco), B. Ohlman (Ericsson Research)
XACML-Based Composition Policies for Ambient Networks

B. Sadighi (Swedish Institute of Computer Science)
Overriding of Access Control in XACML

F. St-Onge, D. Kidston, I. Labbe (Communications Research Centre)
A Multi-Level Policy Representation for Management Services in Maritime Networks

5:00 BOF



June 14, 2007

Invited Talk
(Aula Magna) 

9:00-10:00  Invited Talk: Bhavani Thuraisingham
CPT: Confidentiality, Privacy and Trust Management for the Semantic Web

10:00-10:30  Coffee Break

10:30-12:00 Semantic Web Long papers (3)

Session IV : SW Policy languages
(Aula Magna)
Chair: Carlos Kamienski (UFABC)

C. Duma, A. Herzog, N. Shahmehri (Linkopings University)
Privacy in the Semantic Web: What Policy Languages Have to Offer

Z. Liu, A. Ranganathan, A. Riabov (IBM T. J. Watson Research Center)
Specifying and Enforcing High-Level Semantic Obligation Policies

A. Toninelli, R. Montanari (University of Bologna), L. Kagal (MIT), O. Lassila (Nokia)
Proteus: A Semantic Context-Aware Adaptive Policy Model

12:00-1:30 Lunch

1:30-3:00  Panel

3:00-3:30 Coffee Break

3:30-5:00 Long Papers (3) (20 mins for presentation + 10 for questions)

Session V : Policy Enforcement
(Aula Magna) 
Chair: Maria Luisa Damiani (DICO - University of Milan)

A. Kapadia (Dartmouth College), P. Naldurg (Microsoft Research,
India), R. Campbell (University of Illinois at Urbana-Champaign)
Distributed Enforcement of Unlinkability Policies: Looking Beyond the
Chinese Wall

A. El-Atawy, T. Samak, Z. Wali, E. Al-Shaer (DePaul University),
F. Lin, C. Pham, S. Li (Cisco)
An Automated Framework for Validating Firewall Policy Enforcement

H. Janicke, A. Cau, F. Siewe, H. Zedan (De Monfort University)
Deriving Enforcement Mechanisms from Policies

5:00  	Poster Session



June 15, 2007

Invited Talk
(Aula Magna)

9:00-10:00  Invited Talk: Marianne Winslett
Policy-driven Distributed Authorization:  Status and Prospects

10:00-10:30  Coffee Break

10:30-12:00 Semantic Web short papers (5)

Session VI : Policy Analysis and Semantic Enhancements
(Aula Magna)
Chair: Claudiu Duma (Linköping University)

C. Hanson, L. Kagal, G. Sussman, T. Berners-Lee, D. Weitzner (MIT)
Data-Purpose Algebra: Modeling Data Usage Policies

P. Rao, D. Lin, E. Bertino (Purdue University)
XACML Function Annotations

Y. Demchenko, L. Gommans, C. DeLaat (University of Amsterdam)
Using XACML and SAML for Complex Resource Provisioning in Grid based Applications

N. Kaviani (Simon Fraser University), G. Wagner (Brandenburg University of Technology at Cottobus)
Web Rule Languages to Carry Policies

K. Verlaenen, B. De Win, W. Joosen (KULeuven)
Policy analysis Using a Hybrid Semantic Reasoning Engine

12:00-1:30 Lunch

1:30-3:30 Long papers (4)

Session VII :  Policy negotiation & resolution
(Aula Magna)
Chair: Elisa Bertino (Purdue University)

G. Russello, C. Dong, N. Dulay (Imperial College London)
Authorisation and Conflict Resolution for Hierarchical Domains

I. Constandache (Duke University), D. Olmedilla (L3S Research Center), F. Siebenlist (Argonne National Laboratory)
Policy-driven Negotiation for Authorization in the Grid

J. Voris, S. Ioannidis (Stevens Institute of Technology), U. Meyer (Siemens Networks), S. Wetzel (Stevens Institute of Technology)
Performance Evaluation of a Privacy-preserving Policy Reconciliation

R. Gupta, S. Roy, M. Bhide (IBM India Research Lab)
Identity Delegation in Policy Based Systems

3:30-4:00 Coffee Break

4:00-5:45 Short papers (6)

Session VIII : Applications
 (Aula Magna)
 Chair: Dakshi Agraval (IBM TJ Watson)

L. Teo, G. Ahn, (UNC Charlotte)
Towards Effective Security Policy Management for Heterogeneous Network Environments

P. Argyroudis, T. Forde, L. Doyle, D. O’Mahony (University of Dublin, Trinity College)
A Policy-driven Trading Framework for Market-based Spectrum Assignment

G. Konstantoulakis (Morgan Stanley), M. Sloman (Imperial College London)
Call Management Policy Specification for the Asterisk Telephone Private Branch Exchange

C. Jason, G. Lewin, Y. Gottlieb, R. Chadha, S.W. Li, A. Poylisher (Telcordia Technologies)
S. Newman, R. Lo (U.S. Army CERDEC)
On Automated Policy Generation for Mobile Ad Hoc Networks

G. Denker, M. Stehr, R. Senanayake, D. Elenius, C. Talcott, D. Wilkins (SRI International)
CoRaL - Policy Language and Reasoning Techniques for Spectrum Policies

H. Lutfiyya (University of Western Ontario)
Dynamic Adaptation of Policies in Data Center Management

5:45  Speech by Rebecca/Claudio