The Community for Technology Leaders
Policies for Distributed Systems and Networks, IEEE International Workshop on (2004)
Yorktown Heights, New York
June 7, 2004 to June 9, 2004
ISBN: 0-7695-2141-X
TABLE OF CONTENTS

Preface (PDF)

pp. ix

Preface (PDF)

pp. ix

Reviewers (PDF)

pp. xii
Session 1: Policies for Self-Management

An Artificial Intelligence Perspective on Autonomic Computing Policies (Abstract)

Jeffrey O. Kephart , IBM Thomas J. Watson Research Center, Yorktown Heights, New York
William E. Walsh , IBM Thomas J. Watson Research Center, Yorktown Heights, New York
pp. 3

Policy Transformation Techniques in Policy-based Systems Management (Abstract)

Mandis S. Beigi , IBM T.J. Watson Research Center
Dinesh Verma , IBM T.J. Watson Research Center
Seraphin Calo , IBM T.J. Watson Research Center
pp. 13

Policy Based Management for Internet Communities (Abstract)

Kevin Chekov Feeney , Trinity College Dublin, Ireland
Vincent P. Wade , Trinity College Dublin, Ireland
Dave Lewis , Trinity College Dublin, Ireland
pp. 23
Session 2: Routing and Mobile Networks

Policy-Based Mobile Ad Hoc Network Management (Abstract)

Yuu-Heng Cheng , Telcordia Technologies, Morristown, NJ
Harshad Tanna , Telcordia Technologies, Morristown, NJ
Jason Chiang , Telcordia Technologies, Morristown, NJ
Ritu Chadha , Telcordia Technologies, Morristown, NJ
Gary Levin , Telcordia Technologies, Morristown, NJ
A. Ghetie , Telcordia Technologies, Morristown, NJ
Hong Cheng , Telcordia Technologies, Morristown, NJ
pp. 35

Routing with Confidence: Supporting Discretionary Routing Requirements in Policy Based Networks (Abstract)

Prasad Naldurg , University of Illinois at Urbana-Champaign
Apu Kapadia , University of Illinois at Urbana-Champaign
Roy H. Campbell , University of Illinois at Urbana-Champaign
pp. 45

Transaction Policies for Mobile Networks (Abstract)

Paulo Ferreira , INESC-ID/IST, Lisboa
Lu? Veiga , INESC-ID/IST, Lisboa
Nuno Santos , INESC-ID/IST, Lisboa
pp. 55
Session 3: QoS and Storage

DecisionQoS: An Adaptive, Self-Evolving QoS Arbitration Module for Storage Systems (Abstract)

Guillermo A. Alvarez , IBM Almaden Research Center, San Jos?, California
Gul Agha , IBM Almaden Research Center, San Jos?, California
Sandeep Uttamchandani , IBM Almaden Research Center, San Jos?, California
pp. 67

Policy-Based Validation of SAN Configuration (Abstract)

Kaladhar Voruganti , IBM Almaden Research
Kang-Won Lee , IBM T. J. Watson Research Center
James Giles , IBM T. J. Watson Research Center
Khalid Filali-Adib , IBM Austin Research
Dakshi Agrawal , IBM T. J. Watson Research Center
pp. 77

RSVP Policy Control using XACML (Abstract)

Carlos Maziero , Pontifical Catholic University of Paran?, PUCPR, PPGIA
Edgard Jamhour , Pontifical Catholic University of Paran?, PUCPR, PPGIA
Emir Toktar , Pontifical Catholic University of Paran?, PUCPR, PPGIA
pp. 87
Session 4 (Short Papers): Automation and Control

Policy-Based Autonomic Control Service (Abstract)

D. Reilly , Liverpool John Moores University, UK
N. Badr , Liverpool John Moores University, UK
A. Taleb-Bendiab , Liverpool John Moores University, UK
pp. 99

An Hierarchical Policy-Based Architecture for Integrated Management of Grids and Networks (Abstract)

Lisandro Zambenedetti Granville , Federal University of Rio Grande do Sul, Brazil
Evandro Della Vecchia Pereira , Federal University of Rio Grande do Sul, Brazil
Ricardo Neisse , Federal University of Rio Grande do Sul, Brazil
Maria Janilce Bosquiroli Almeida , Federal University of Rio Grande do Sul, Brazil
Liane Margarida Rockenbach Tarouco , Federal University of Rio Grande do Sul, Brazil
pp. 103

Automated Generation of Resource Configurations through Policies (Abstract)

Akhil Sahai , HP Laboratories, Palo-Alto, CA
Sharad Singhal , HP Laboratories, Palo-Alto, CA
Vijay Machiraju , HP Laboratories, Palo-Alto, CA
Rajeev Joshi , Jet Propulsion Laboratories, Pasadena, CA
pp. 107

People and Policies: Transforming the Human-Computer Partnership (Abstract)

Rob Barrett , IBM Almaden Research Center, San Jose, CA
pp. 111
Session 5: Security Policy in Large Scale Systems

A Framework for Contractual Resource Sharing in Coalitions (Abstract)

Marek Sergot , Imperial College London, UK
Elisa Bertino , Universit? degli Studi di Milano, Italy
Babak Sadighi Firozabadi , Swedish Institute of Computer Science (SICS), Kista, Sweden
Anna Squicciarini , Universit? degli Studi di Milano, Italy
pp. 117

A Formal Model for Hierarchical Policy Contexts (Abstract)

David M. Eyers , University of Cambridge Computer Laboratory, UK
Ken Moody , University of Cambridge Computer Laboratory, UK
Andr? Belokosztolszki , University of Cambridge Computer Laboratory, UK
pp. 127

Security Policy Reconciliation in Distributed Computing Environments (Abstract)

Somesh Jha , University of Wisconsin, Madison, WI
Hao Wang , University of Wisconsin, Madison, WI
Miron Livny , University of Wisconsin, Madison, WI
Patrick D. McDaniel , AT&T Labs-Research, Florham Park, NJ
pp. 137
Session 6: Trust and Filtering

Responding to Policies at Runtime in TrustBuilder (Abstract)

Kent E. Seamons , Brigham Young University, Provo, Utah
Michael D. Jones , Brigham Young University, Provo, Utah
Bryan Smith , Brigham Young University, Provo, Utah
pp. 149

Cassandra: Distributed Access Control Policies with Tunable Expressiveness (Abstract)

Peter Sewell , University of Cambridge, UK
Moritz Y. Becker , University of Cambridge, UK
pp. 159

A Policy Driven Approach to Email Services (Abstract)

Saket Kaushik , George Mason University, Fairfax, VA
Paul Ammann , George Mason University, Fairfax, VA
William Winsborough , George Mason University, Fairfax, VA
Duminda Wijesekera , George Mason University, Fairfax, VA
Ronald Ritchey , Booz Allen & Hamilton, Falls Church, VA
pp. 169
Session 7 (Short Papers): Security

Unification in Privacy Policy Evaluation - Translating EPAL into Prolog (Abstract)

G? Karjoth , IBM Research, Switzerland
Markus D?rmuth , University of Karlsruhe, Germany
Michael Backes , IBM Research, Switzerland
pp. 185

Analyzing Information Flow Control Policies in Requirements Engineering (Abstract)

Duminda Wijesekera , George Mason University, Fairfax, VA
Khaled Alghathbar , King Saud University, Saudi Arabia
pp. 193

Towards a Multi-dimensional Characterization of Dissemination Control (Abstract)

Roshan K. Thomas , McAfee Research, Network Associates, Inc.
Ravi Sandhu , George Mason University and NSD Security
pp. 197

Protocol Decode Based Stateful Firewall Policy Definition Language (Abstract)

Pankaj N. Parmar , Intel Corporation
Priya Rajagopal , Intel Corporation
Ravi Sahita , Intel Corporation
pp. 201
Session 8 (Short Papers): Quality of Service

Integrating Policy-based Access Management and Adaptive Traffic Engineering for QoS Deployment (Abstract)

Piet Demeester , Ghent University - IMEC, Belgium
Filip De Turck , Ghent University - IMEC, Belgium
Steven Van den Berghe , Ghent University - IMEC, Belgium
pp. 211

Policy-based Congestion Management for an SMS Gateway (Abstract)

Alberto Gonzalez Prieto , KTH, Royal Institute of Technology, Stockholm, Sweden
Rolf Stadler , KTH, Royal Institute of Technology, Stockholm, Sweden
Roberto Cosenza , Infoflex, Stockholm, Sweden
pp. 215

PROTON: A Policy-based Solution for Future 4G devices (Abstract)

Pablo Vidales , University of Cambridge, UK
Rajiv Chakravorty , University of Cambridge, UK
Calicrates Policroniades , University of Cambridge, UK
pp. 219

Policy Control Model: A Key Factor for the Success of Policy in Telecom Applications (Abstract)

Fernando Cuervo , Research and Innovation, Alcatel, Canada
Michel Sim , Research and Innovation, Alcatel, Canada
pp. 223
Session 9: Analysis and Refinement

A Goal-based Approach to Policy Refinement (Abstract)

Emil C. Lupu , Imperial College London, UK
Jonathan Moffett , University of York, Heslington, UK
Alessandra Russo , Imperial College London, UK
Arosha K. Bandara , Imperial College London, UK
pp. 229

Incremental Validation of Policy-Based Systems (Abstract)

C. Grossner , NewStep Networks, Ottawa, Canada
T. Radhakrishnan , Concordia University, Montreal, Canada
A. Graham , Concordia University, Montreal, Canada
pp. 240

Finite State Transducers for Policy Evaluation and Conflict Resolution (Abstract)

Javier Baliosian , Universitat Polit?cnica de Catalunya
Joan Serrat , Universitat Polit?cnica de Catalunya
pp. 250

Author Index (PDF)

pp. 261
83 ms
(Ver )