The Community for Technology Leaders
Policies for Distributed Systems and Networks, IEEE International Workshop on (2005)
Stockholm, Sweden
June 6, 2005 to June 8, 2005
ISBN: 0-7695-2265-3
TABLE OF CONTENTS
Introduction

Preface (PDF)

pp. vii
Paper Session 1: Security and Trust

Automated Decomposition of Access Control Policies (Abstract)

James A. Cunningham , University of Salford
Linying Su , University of Kent
David W. Chadwick , University of Kent
Andrew Basden , University of Salford
pp. 3-13

Driving and Monitoring Provisional Trust Negotiation with Metapolicies (Abstract)

Piero Bonatti , Università di Napoli Federico II
Daniel Olmedilla , L3S Research Center and Hanover University
pp. 14-23

Policy Modeling and Refinement for Network Security Systems (Abstract)

João Porto de Albuquerque , State University of Campinas and University of Dortmund
Heiko Krumm , University of Dortmund
Paulo Lício de Geus , State University of Campinas
pp. 24-33

An Audit Logic for Accountability (Abstract)

R. Corin , University of Twente
S. Etalle , University of Twente
M. A. C. Dekker , University of Twente and TNO ICT
J. I. den Hartog , University of Twente
J. G. Cederquist , University of Twente
pp. 34-43
Paper Session 2: Privacy

Privacy Protection of Enterprise Information through Inference Analysis (Abstract)

Ramaswamy Chandramouli , National Institute of Science and Technology
pp. 47-56

Enhancing Web Privacy Protection through Declarative Policies (Abstract)

Li Ding , University of Maryland at Baltimore County
Tim Finin , University of Maryland at Baltimore County
Shashidhara G. Anupam Joshi , University of Maryland at Baltimore County
Lalana Kagal , Massachusetts Institute of Technology
Pranam Kolari , University of Maryland at Baltimore County
pp. 57-66

Deriving Semantic Models from Privacy Policies (Abstract)

Annie I. Ant? , North Carolina State University
Travis D. Breaux , North Carolina State University
pp. 67-76
Paper Session 3: Analysis

Analyzing Policy Dependencies Using Historical Information (Abstract)

Rohit M. Lotlikar , IBM India Research Lab
Ranga R. Vatsavai , IBM India Research Lab
Mukesh Mohania , IBM India Research Lab
Sharma Chakravarthy , University of Texas at Arlington
pp. 79-88

Relationship-Driven Policy Engineering for Autonomic Organisations (Abstract)

Kevin Feeney , Trinity College Dublin
Karl Quinn , Trinity College Dublin
Vincent Wade , Trinity College Dublin
David Lewis , Trinity College Dublin
Declan O?Sullivan , Trinity College Dublin
pp. 89-98

Policy Conflict Analysis for Quality of Service Management (Abstract)

Paris Flegkas , University of Surrey
Alessandra Russo , Imperial College London
Marinos Charalambides , University of Surrey
Emil C. Lupu , Imperial College London
George Pavlou , University of Surrey
Arosha K. Bandara , Imperial College London
Naranker Dulay , Imperial College London
Javier Rubio-Loyola , Universitat Polit?cnica de Catalunya
Morris Sloman , Imperial College London
pp. 99-108
Paper Session 4 (Short): Requirements, Evaluation, and Assessment

Summary of Stability of Adaptive Service Level Agreements (Abstract)

Kyrre Begnum , Oslo Unviversity College
Siri Fagernes , Oslo Unviversity College
Mark Burgess , Oslo Unviversity College
Tore M. Jonassen , Oslo Unviversity College
pp. 111-114

An Agent-Based Framework for Assessing Missile Defense Doctrine and Policy (Abstract)

James Bret Michael , Naval Postgraduate School
Anil Nerode , Cornell University
Duminda Wijesekera , George Mason University
pp. 115-118

Policity: An Experimental Evaluation of Policy-Based Administration in a City Simulation (Abstract)

Adam November , Stanford University
Paul P. Maglio , IBM Almaden Research Center
Rob Barrett , IBM Almaden Research Center
Eser Kandogan , IBM Almaden Research Center
Christopher S. Campbell , IBM Almaden Research Center
pp. 119-122

How Can We Trust a Policy System to Make the Best Decision? (Abstract)

Ian Whalley , IBM Thomas J. Watson Research Center
Alla Segal , IBM Thomas J. Watson Research Center
Hoi Chan , IBM Thomas J. Watson Research Center
Bill Arnold , IBM Thomas J. Watson Research Center
pp. 123-126
Paper Session 5: Policy-Based Management

AUTOLOOP: Automated Action Selection in the "Observe-Analyze-Act" Loop for Storage Systems (Abstract)

Gul Agha , University of Illinois at Urbana-Champaign
Randy Katz , University of California at Berkeley
Sandeep Uttamchandani , IBM Almaden Research Center
John Palmer , IBM Almaden Research Center
Li Yin , University of California at Berkeley
pp. 129-138

Policy-Based Information Lifecycle Management in a Large-Scale File System (Abstract)

Murthy Devarakonda , IBM Research
Jim Rubas , IBM Research
David Pease , IBM Research
Upendra Sharma , IBM Research
Mandis Beigi , IBM Research
Marc Kaplan , IBM Research
Akshat Verma , IBM Research
Rohit Jain , IBM Research
pp. 139-148

On Using Policies for Managing Service Provisioning in Agent-Based Heterogeneous Environments for Mobile Users (Abstract)

Mohamed Ganna , Université Pierre et Marie Curie
Eric Horlait , Université Pierre et Marie Curie
pp. 149-158

Approximating Service Utility from Policies and Value Function Patterns (Abstract)

Steffen Lamparter , University of Karlsruhe
Daniel Oberle , University of Karlsruhe
Andreas Eberhart , Hewlett-Packard
pp. 159-168
Paper Session 6: Models and Policy

A RBAC-Based Policy Information Base (Abstract)

Edgard Jamhour , Pontif?cia Universidade Cat?lica do Paran?
Timothy E. Squair , Pontif?cia Universidade Cat?lica do Paran?
Ricardo C. Nabhen , Pontif?cia Universidade Cat?lica do Paran?
pp. 171-180

Using Linear Temporal Model Checking for Goal-Oriented Policy Refinement Frameworks (Abstract)

Alberto Lluch Lafuente , Universit? di Pisa
Marinos Charalambides , University of Surrey
George Pavlou , University of Surrey
Joan Serrat , Universitat Polit?cnica de Catalunya
Paris Flegkas , University of Surrey
Javier Rubio-Loyola , Universitat Polit?cnica de Catalunya
pp. 181-190

A Model for Usage Policy-Based Resource Allocation in Grids (Abstract)

Catalin L. Dumitrescu , University of Chicago
Michael Wilde , Argonne National Laboratory and University of Chicago
Ian Foster , Argonne National Laboratory and University of Chicago
pp. 191-200
Paper Session 7: Policy Validation and Enforcement

Obligation Policies: An Enforcement Platform (Abstract)

Paulo Ferreira , INESC-ID/IST
Pedro Gama , INESC-ID/IST
pp. 203-212

PDL with Preferences (Abstract)

Alessandra Mileo , Università di Milano
Elisa Bertino , Purdue University
Alessandro Provetti , Università di Messina
pp. 213-222

Policy Ratification (Abstract)

Dakshi Agrawal , IBM T. J. Watson Research Center
James Giles , IBM T. J. Watson Research Center
Kang-Won Lee , IBM T. J. Watson Research Center
Jorge Lobo , IBM T. J. Watson Research Center
pp. 223-232
Paper Session 8 (Short): Policy and Resource Management

Embedding Policy Rules for Software-Based Systems in a Requirements Context (Abstract)

Mark Strembeck , Vienna University of Economics and BA
pp. 235-238

Declarative Policies for Web Service Selection (Abstract)

Alessandro Provetti , Università di Messina
Alessandra Mileo , Università di Milano
Massimo Marchi , Università di Milano
pp. 239-242

Adding Policy-Based Control to Mobile Hosts Switching between Streaming Proxies (Abstract)

Cristian Hesselman , University of Twente and Telematica Instituut
Erik Huizer , Utrecht University
Malohat Ibrohimovna Kamilova , University of Twente
Ing Widya , University of Twente
pp. 243-246

Policy-Based Multi-Datacenter Resource Management (Abstract)

Vijay K. Naik , IBM Research
Murthy Devarakonda , IBM Research
Nithya Rajamani , IBM Research
pp. 247-250

Managing the Policies of Non-Technical Users in a Dynamic World (Abstract)

Bill Keller , University of Sussex
David Weir , University of Sussex
Ian Wakeman , University of Sussex
Tim Owen , University of Sussex
Julie Weeds , University of Sussex
pp. 251-254
Author Index

Author Index (PDF)

pp. 255-256
83 ms
(Ver )