CSDL - Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for Distributed Systems and Networks - Table of Contents

Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for Distributed Systems and Networks (2003)

Lake Como, Italy

June 4, 2003 to June 6, 2003

ISBN: 0-7695-1933-4

TABLE OF CONTENTS

Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for Distributed Systems and Networks (PDF)

pp.

Chisel: a policy-driven, context-aware, dynamic adaptation framework (PDF)

J. Keeney , Dept. of Comput. Sci., Trinity Coll., Dublin, Ireland

V. Cahill , Dept. of Comput. Sci., Trinity Coll., Dublin, Ireland

pp. 3,4,5,6,7,8,9,10,11,12,13,14

Using UML and Maude for writing and reasoning about ODP policies (PDF)

F. Duran , Dpto. de Lenguajes y Ciencias de la Computacion, Univ. de Malaga, Spain

J. Herrador , Dpto. de Lenguajes y Ciencias de la Computacion, Univ. de Malaga, Spain

A. Vallecillo , Dpto. de Lenguajes y Ciencias de la Computacion, Univ. de Malaga, Spain

pp. 15,16,17,18,19,20,21,22,23,24,25

Using event calculus to formalise policy specification and analysis (PDF)

A.K. Bandara , Dept. of Comput., Imperial Coll., London, UK

E.C. Lupu , Dept. of Comput., Imperial Coll., London, UK

A. Russo , Dept. of Comput., Imperial Coll., London, UK

pp. 26,27,28,29,30,31,32,33,34,35,36,37,38,39

Prediction-based policy adaptation for QoS management in wireless networks (PDF)

N. Samaan , Multimedia & Mobile Agent Res. Lab., Ottawa Univ., Ont., Canada

A. Karmouch , Multimedia & Mobile Agent Res. Lab., Ottawa Univ., Ont., Canada

pp. 43,44,45,46,47,48,49,50,51

PECAN: policy-enabled configuration across networks (PDF)

K. Kim , Telcordia Technol., USA

R. Chadha , Telcordia Technol., USA

T. Cheng , Telcordia Technol., USA

S. Gadgil , Telcordia Technol., USA

A. Hafid , Telcordia Technol., USA

Y.-H. Cheng , Telcordia Technol., USA

G. Levin , Telcordia Technol., USA

Narayanan Natarajan , Telcordia Technol., USA

Kirthika Parmeswaran , Telcordia Technol., USA

A. Poylisher , Telcordia Technol., USA

J. Unger , Telcordia Technol., USA

pp. 52,53,54,55,56,57,58,59,60,61,62

A policy language for a pervasive computing environment (PDF)

L. Kagal , Dept. of Comput. Sci. & Electr. Eng., Maryland Univ., Baltimore, MD, USA

T. Finin , Dept. of Comput. Sci. & Electr. Eng., Maryland Univ., Baltimore, MD, USA

Anupam Joshi , Dept. of Comput. Sci. & Electr. Eng., Maryland Univ., Baltimore, MD, USA

pp. 63,64,65,66,67,68,69,70,71,72,73,74

Analysis of integrity policies using soft constraints (PDF)

S. Bistarelli , Dipt. di Sci., Univ. di Pescara, Italy

S.N. Foley

pp. 77,78,79,80

/spl Xscr/-TNL: an XML-based language for trust negotiations (PDF)

E. Bertino , Dipt. di Informatica e Comunicazione, Universita' degli Studi di Milano, Italy

E. Ferrari

A. Squicciarini

pp. 81,82,83,84

Towards policy-based information management for the Joint Battlespace Infosphere (PDF)

R. Cherinka , Mitre Corp., USA

C. Wild , Mitre Corp., USA

D. Allen , Mitre Corp., USA

C. Smith , Mitre Corp., USA

Y. Zhang , Mitre Corp., USA

R. Panek , Mitre Corp., USA

S. Semy , Mitre Corp., USA

pp. 85,86,87,88

A toolkit-based approach to policy-managed storage (PDF)

M. Devarakonda , IBM Thomas J. Watson Res. Center, NY, USA

A. Segal , IBM Thomas J. Watson Res. Center, NY, USA

D. Chess , IBM Thomas J. Watson Res. Center, NY, USA

pp. 89,90,91,92

KAoS policy and domain services: toward a description-logic approach to policy representation, deconfliction, and enforcement (PDF)

A. Uszok , Inst. for Human & Machine Cognition, West Florida Univ., Pensacola, FL, USA

J. Bradshaw , Inst. for Human & Machine Cognition, West Florida Univ., Pensacola, FL, USA

R. Jeffers , Inst. for Human & Machine Cognition, West Florida Univ., Pensacola, FL, USA

N. Suri , Inst. for Human & Machine Cognition, West Florida Univ., Pensacola, FL, USA

P. Hayes , Inst. for Human & Machine Cognition, West Florida Univ., Pensacola, FL, USA

M. Breedy , Inst. for Human & Machine Cognition, West Florida Univ., Pensacola, FL, USA

L. Bunch , Inst. for Human & Machine Cognition, West Florida Univ., Pensacola, FL, USA

M. Johnson , Inst. for Human & Machine Cognition, West Florida Univ., Pensacola, FL, USA

S. Kulkarni , Inst. for Human & Machine Cognition, West Florida Univ., Pensacola, FL, USA

J. Lott , Inst. for Human & Machine Cognition, West Florida Univ., Pensacola, FL, USA

pp. 93,94,95,96

Policy contexts: controlling information flow in parameterised RBAC (PDF)

A. Belokosztolszki , Comput. Lab., Cambridge Univ., UK

D.M. Eyers , Comput. Lab., Cambridge Univ., UK

K. Moody , Comput. Lab., Cambridge Univ., UK

pp. 99,100,101,102,103,104,105,106,107,108,109,110

Towards automated negotiation of access control policies (PDF)

V.G. Bharadwaj , Inst. for Syst. Res., Maryland Univ., College Park, MD, USA

J.S. Baras , Inst. for Syst. Res., Maryland Univ., College Park, MD, USA

pp. 111,112,113,114,115,116,117,118,119

Organization based access control (PDF)

A.A.E. Kalam , Lab. d'Analyse et d'Archit. des Syst., CNRS, Toulouse, France

pp. 120,121,122,123,124,125,126,127,128,129,130,131

Translating privacy practices into privacy promises - how to promise what you can keep (PDF)

G. Karjoth , IBM Zurich Res. Lab., Switzerland

M. Schunter , IBM Zurich Res. Lab., Switzerland

E. Van Herreweghen , IBM Zurich Res. Lab., Switzerland

pp. 135,136,137,138,139,140,141,142,143,144,145,146

Spatial policies for sentient mobile applications (PDF)

D. Scott , Dept. of Eng., Cambridge Univ., UK

A. Beresford , Dept. of Eng., Cambridge Univ., UK

A. Mycroft

pp. 147,148,149,150,151,152,153,154,155,156,157

Analyzing security-enhanced Linux policy specifications (PDF)

M. Archer , Naval Res. Lab., Washington, DC, USA

E. Leonard , Naval Res. Lab., Washington, DC, USA

M. Pradella

pp. 158,159,160,161,162,163,164,165,166,167,168,169

Toward explicit policy management for virtual organizations (PDF)

G. Wasson , Dept. of Comput. Sci., Virginia Univ., Charlottesville, VA, USA

M. Humphrey , Dept. of Comput. Sci., Virginia Univ., Charlottesville, VA, USA

pp. 173,174,175,176,177,178,179,180,181,182

Towards federated policy management (PDF)

R. Hull , Lucent Technol. Bell Labs., Murray Hill, NJ, USA

Bharat Kumar , Lucent Technol. Bell Labs., Murray Hill, NJ, USA

D. Lieuwen , Lucent Technol. Bell Labs., Murray Hill, NJ, USA

pp. 183,184,185,186,187,188,189,190,191,192,193,194

Policy based electronic transmission of prescriptions (PDF)

D.W. Chadwick , IS Inst., Salford Univ., UK

D. Mundy , IS Inst., Salford Univ., UK

pp. 197,198,199,200,201,202,203,204,205,206

Using policies in the checking of business to business contracts (PDF)

P.F. Linington , Kent Univ., UK

S. Neal , Kent Univ., UK

pp. 207,208,209,210,211,212,213,214,215,216,217,218

Policy-driven licensing model for component software (PDF)

Q. Zhao , Dept. of Comput. Sci., Univ. of Western Ontario, London, Ont., Canada

Y. Zhou , Dept. of Comput. Sci., Univ. of Western Ontario, London, Ont., Canada

M. Perry , Dept. of Comput. Sci., Univ. of Western Ontario, London, Ont., Canada

pp. 219,220,221,222,223,224,225,226,227,228

Enforcing history-based security policies in mobile agent systems (PDF)

P. Dias , Distributed Syst. Group, INESC, Lisbon, Portugal

C. Ribeiro , Distributed Syst. Group, INESC, Lisbon, Portugal

P. Ferreira , Distributed Syst. Group, INESC, Lisbon, Portugal

pp. 231,232,233,234

A policy based approach for automated topology management of peer to peer networks and a prototype implementation (PDF)

A. Di Ferdinando , Sch. of Comput. Sci., Univ. of Newcastle, Newcastle upon Tyne, UK

P. Mckee

A. Amoroso

pp. 235,236,237,238

Inter-domains policy negotiation (PDF)

F. Barrere , IRIT, UPS, Toulouse, France

A. Benzekri , IRIT, UPS, Toulouse, France

F. Grasset , IRIT, UPS, Toulouse, France

R. Laborde , IRIT, UPS, Toulouse, France

B. Nasser , IRIT, UPS, Toulouse, France

pp. 239,240,241,242

A PBNM system for integrated QoS and multicast management (PDF)

L.Z. Granville , Inst. of Informatics, Fed. Univ. of Rio Grande do Sul, Porto Alegre, Brazil

L. Vaguetti , Inst. of Informatics, Fed. Univ. of Rio Grande do Sul, Porto Alegre, Brazil

M.J.B. Almeida , Inst. of Informatics, Fed. Univ. of Rio Grande do Sul, Porto Alegre, Brazil

L.M.R. Tarouco , Inst. of Informatics, Fed. Univ. of Rio Grande do Sul, Porto Alegre, Brazil

pp. 243,244,245,246

Enforcement of communications policies in software agent systems through mobile code (PDF)

N. Suri , Inst. for Human & Machine Cognition, Univ. of West Florida, USA

M. Carvalho , Inst. for Human & Machine Cognition, Univ. of West Florida, USA

J.M. Bradshaw , Inst. for Human & Machine Cognition, Univ. of West Florida, USA

M.R. Breedy , Inst. for Human & Machine Cognition, Univ. of West Florida, USA

T.B. Cowin , Inst. for Human & Machine Cognition, Univ. of West Florida, USA

P.T. Groth , Inst. for Human & Machine Cognition, Univ. of West Florida, USA

R. Saavedra , Inst. for Human & Machine Cognition, Univ. of West Florida, USA

A. Uszok , Inst. for Human & Machine Cognition, Univ. of West Florida, USA

pp. 247,248,249,250

Author index (PDF)

pp. 251

Reviewers (PDF)

pp. xi

Preface (PDF)

pp. viii

Committees (PDF)

pp. ix