The Community for Technology Leaders
Policies for Distributed Systems and Networks, IEEE International Workshop on (2003)
Lake Como, Italy
June 4, 2003 to June 6, 2003
ISBN: 0-7695-1933-4
TABLE OF CONTENTS

Preface (PDF)

pp. viii

Committees (PDF)

pp. ix

Reviewers (PDF)

pp. xi
Specification and Analysis

Using UML and Maude for Writing and Reasoning about ODP Policies (Abstract)

Francisco Dur? , Universidad de M?laga, Spain
Antonio Vallecillo , Universidad de M?laga, Spain
Javier Herrador , Universidad de M?laga, Spain
pp. 15

Using Event Calculus to Formalise Policy Specification and Analysis (Abstract)

Arosha K Bandara , Imperial College London
Emil C Lupu , Imperial College London
Alessandra Russo , Imperial College London
pp. 26
Networks and Mobile Systems

Prediction-Based Policy Adaptation for QoS Management in Wireless Networks (Abstract)

N. Samaan , University of Ottawa
A. Karmouch , University of Ottawa
pp. 43

PECAN: Policy-Enabled Configuration Across Networks (Abstract)

Abdelhakim Hafid , Telcordia Technologies
Yuu-Heng Cheng , Telcordia Technologies
Thanh Cheng , Telcordia Technologies
Shrirang Gadgil , Telcordia Technologies
Narayanan Natarajan , Telcordia Technologies
Keith Kim , Telcordia Technologies
Kirthika Parmeswaran , Telcordia Technologies
John Unger , Telcordia Technologies
Alexander Poylisher , Telcordia Technologies
Gary Levin , Telcordia Technologies
Ritu Chadha , Telcordia Technologies
pp. 52

A Policy Language for a Pervasive Computing Environment (Abstract)

Anupam Joshi , University of Maryland Baltimore County
Tim Finin , University of Maryland Baltimore County
Lalana Kagal , University of Maryland Baltimore County
pp. 63
Short Papers 1

Analysis of Integrity Policies using Soft Constraints (Abstract)

Stefano Bistarelli , Universit? di Pescara, Italy
Simon N. Foley , Department of Computer Science, Cork, Ireland.
pp. 77

X -TNL: An XML-based Language for Trust Negotiations (Abstract)

E. Bertino , Universita? degli Studi di Milano
A. Squicciarini , Universita? degli Studi di Milano
E. Ferrari , Universita? degli Studi dell?Insubria, Como
pp. 81

Towards Policy-based Information Management for the Joint BattleSpace InfoSphere (Abstract)

C. Wild , The MITRE Corporation
R. Panek , The MITRE Corporation
C. Smith , The MITRE Corporation
S. Semy , The MITRE Corporation
D. Allen , The MITRE Corporation
Y. Zhang , The MITRE Corporation
R. Cherinka , The MITRE Corporation
pp. 85

A Toolkit-Based Approach to Policy-Managed Storage (Abstract)

David Chess , IBM Thomas J. Watson Research Center
Murthy Devarakonda , IBM Thomas J. Watson Research Center
Alla Segal , IBM Thomas J. Watson Research Center
pp. 89

KAoS Policy and Domain Services: Toward a Description-Logic Approach to Policy Representation, Deconfliction, and Enforcement (Abstract)

R. Jeffers , Univ. West Florida
J. Bradshaw , Univ. West Florida
J. Lott , Univ. West Florida
M. Johnson , Univ. West Florida
A. Uszok , Univ. West Florida
N. Suri , Univ. West Florida
S. Kulkarni , Univ. West Florida
M. Breedy , Univ. West Florida
P. Hayes , Univ. West Florida
L. Bunch , Univ. West Florida
pp. 93
Access Control

Policy Contexts: Controlling Information Flow in Parameterised RBAC (Abstract)

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

Towards Automated Negotiation of Access Control Policies (Abstract)

Vijay G. Bharadwaj , University of Maryland
John S. Baras , University of Maryland
pp. 111
Security and Privacy

Spatial Policies for Sentient Mobile Applications (Abstract)

Alastair Beresford , University of Cambridge Department of Engineering
Alan Mycroft , University of Cambridge Computer Laboratory
David Scott , University of Cambridge Department of Engineering
pp. 147

Analyzing Security-Enhanced Linux Policy Specifications (Abstract)

Myla Archer , Naval Research Laboratory
Matteo Pradella , Politecnico di Milano
Elizabeth Leonard , Naval Research Laboratory
pp. 158
Policy Management in the Large

Toward Explicit Policy Management for Virtual Organizations (Abstract)

Marty Humphrey , University of Virginia
Glenn Wasson , University of Virginia
pp. 173

Towards Federated Policy Management (Abstract)

Daniel Lieuwen , Bell Labs, Lucent Technologies
Bharat Kumar , Bell Labs, Lucent Technologies
Richard Hull , Bell Labs, Lucent Technologies
pp. 183
Applications

Policy Based Electronic Transmission of Prescriptions (Abstract)

D. W. Chadwick , University of Salford
D. Mundy , University of Salford
pp. 197

Policy-Driven Licensing Model for Component Software (Abstract)

Mark Perry , University of Western Ontario
Qian Zhao , University of Western Ontario
Yu Zhou , University of Western Ontario
pp. 219
Short Papers 2

Inter-Domains policy negociation (Abstract)

Fr?d?ric GRASSET , UPS-IRIT
Bassem NASSER , UPS-IRIT
Fran?ois BARRERE , UPS-IRIT
Romain LABORDE , UPS-IRIT
pp. 239

A PBNM System for Integrated QoS and Multicast Management (Abstract)

Maria Janilce Bosquiroli Almeida , Federal University of Rio Grande do Sul - UFRGS
Lisandro Zambenedetti Granville , Federal University of Rio Grande do Sul - UFRGS
Leandro Vaguetti , Federal University of Rio Grande do Sul - UFRGS
Liane Margarida Rockenbach Tarouco , Federal University of Rio Grande do Sul - UFRGS
pp. 243

Enforcement of Communications Policies in Software Agent Systems through Mobile Code (Abstract)

Marco Carvalho , University of West Florida
Maggie R. Breedy , University of West Florida
Paul T. Groth , University of West Florida
Raul Saavedra , University of West Florida
Jeffrey M. Bradshaw , University of West Florida
Andrzej Uszok , University of West Florida
Niranjan Suri , University of West Florida; Lancaster University
Thomas B. Cowin , University of West Florida
pp. 247

Author's Index (PDF)

pp. 251
98 ms
(Ver )