Lecture Notes in Computer Science 5474 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Alfred Kobsa University of California, Irvine, CA, USA Friedemann Mattern ETH Zurich, Switzerland John C. Mitchell Stanford University, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel Oscar Nierstrasz University of Bern, Switzerland C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen University of Dortmund, Germany Madhu Sudan Massachusetts Institute of Technology, MA, USA Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Gerhard Weikum Max-Planck Institute of Computer Science, Saarbruecken, Germany
Flemming Nielson (Eds.) Trustworthy Global Computing 4th International Symposium, TGC 2008 Barcelona, Spain, November 3-4, 2008 Revised Selected Papers 13
Volume Editors University of Patras and RA CTI Department of Computer Engineering and Informatics 26500 Rion, Greece E-mail: kakl@ceid.upatras.gr Flemming Nielson Technical University of Denmark Department of Informatics and Mathematical Modelling Richard Pedersens Plads, 2800 Kongens Lyngby, Denmark E-mail: nielson@imm.dtu.dk Library of Congress Control Number: Applied for CR Subject Classification (1998): C.2.4, D.1.3, D.2.4, D.2, D.4.6, F.2.1-2, D.3 LNCS Sublibrary: SL 1 Theoretical Computer Science and General Issues ISSN 0302-9743 ISBN-10 3-642-00944-1 Springer Berlin Heidelberg New York ISBN-13 978-3-642-00944-0 Springer Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable to prosecution under the German Copyright Law. springer.com Springer-Verlag Berlin Heidelberg 2009 Printed in Germany Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper SPIN: 12637553 06/3180 543210
Preface This volume contains the proceedings of the fourth edition of the International Symposium on Trustworthy Global Computing (TGC 2008) that was held in Barcelona, Spain, November 3-4, 2008. The Symposium on Trustworthy Global Computing is an international annual venue dedicated to safe and reliable computation in global computers. It focuses on providing frameworks, tools, and protocols for constructing well-behaved applications and on reasoning rigorously about their behavior and properties. The related models of computation incorporate code and data mobility over distributed networks with highly dynamic topologies and heterogeneous devices. This volume contains one invited paper from Gianluigi Zavattaro and coauthors, as well as the revised versions of the 12 contributed papers; these versions take into account both the referees reports and the discussions that took place during the symposium. The Program Committee selected 12 papers from 26 submissions. Every submission was reviewed by at least three members of the Program Committee. In addition, the Program Committee sought the opinions of additional referees, selected because of their expertise in particular topics. We are grateful to Andrei Voronkov for his EasyChair system that helped us to manage these discussions. We would like to thank the authors who submitted papers to the conference, the members of the Program Committee, and the additional reviewers for their excellent work. We would also like to thank the invited speakers to TGC 2008, Giuseppe Ateniese, Sophia Drossopoulou, and Gianluigi Zavattaro. We gratefully acknowledge support from the ALBCOM Research Group, the Spanish Ministry of Science and Innovation under grant no. TIN200802006- E/TSI, as well as the European Global Computing Initiative through the FET programme. January 2009 Flemming Nielson
Organization Steering Committee Gilles Barthe Rocco De Nicola Ugo Montanari Davide Sangiorgi Don Sannella Vladimiro Sassone Martin Wirsing INRIA Sophia Antipolis, France University of Florence, Italy University of Patras, Greece University of Pisa, Italy University of Bologna, Italy University of Edinburgh, UK University of Southampton, UK University of Munich, Germany Program Committee Ioannis Caragiannis Tino Cortesi Pierpaolo Degano Sophia Drossopoulou Thomas Hildebrandt Danny Krizanc Alberto Marchetti-Spaccamela Alan Mycroft Flemming Nielson Giuseppe Persiano Germàn Puebla Paola Quaglia Carolyn Talcott Don Sannella Maria J. Serna University of Patras, Greece Università CàFoscari,Italy Università di Pisa, Italy Imperial College London, UK IT University of Copenhagen, Denmark University of Patras, Greece (Chair) Wesleyan University, USA Università di Roma La Sapienza, Italy Cambridge University, UK TUDenmark(Chair) Università degli Studi di Salerno, Italy Technical University of Madrid, Spain Università di Trento, Italy SRI International, USA University of Edinburgh, UK Universitat Politècnica de Catalunya, Spain Referees Massimo Bartoletti Mikkel Bundgaard Manuel Carro Aaron R. Coble Søren Debois Mariangiola Dezani Ebbe Elsborg David Eyers Boris Feigin Han Gao Samir Genaim Ivan Lanese Damiano Macedonio Julio Mario Hernan Melgratti Dimitris Mostrous Iain Phillips David Pichardie Davide Prandi Paola Quaglia Alejandro Russo Cesar Sanchez Peter Sewell Sam Staton Vasco T. Vasconcelos Hugo Vieira Roberto Zunino
VIII Organization Sponsoring Institutions ALBCOM, Department de Llenguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya, Spain
Table of Contents Contract-Driven Implementation of Choreographies (Invited Paper)... 1 Mario Bravetti, Ivan Lanese, and Gianluigi Zavattaro Model Checking Usage Policies... 19 Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, and Roberto Zunino Bounds on the Leakage of the Input s Distribution in Information-Hiding Protocols... 36 Abhishek Bhowmick and Catuscia Palamidessi Combining Timed Coordination Primitives and Probabilistic Tuple Spaces... 52 Mario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, and Gianluigi Zavattaro Provably Correct Implementations of Services... 69 Roberto Bruni, Rocco De Nicola, Michele Loreti, and Leonardo Gaetano Mezzina A Process Calculus Analysis of Compensations... 87 Luís Caires, Carla Ferreira, and Hugo Vieira Structured Communications with Concurrent Constraints... 104 Mario Coppo and Mariangiola Dezani-Ciancaglini Type Systems for Bigraphs... 126 Ebbe Elsborg, Thomas T. Hildebrandt, and Davide Sangiorgi On the Relative Expressive Power of Ambient-Based Calculi... 141 Daniele Gorla Connectivity in Multi-interface Networks... 157 Adrian Kosowski, Alfredo Navarra, and Cristina M. Pinotti Optimal Routing and Call Scheduling in Wireless Mesh Networks with Localized Informations... 171 Christelle Molle, Fabrice Peix, Stéphane Pérennes, and Hervé Rivano Trust Management and Trust Negotiation in an Extension of SQL... 186 Scott D. Stoller Dynamic Recovering of Long Running Transactions... 201 Cátia Vaz, Carla Ferreira, and António Ravara Author Index... 217