Trustworthy Global Computing

1. Front Matter

   PDF

2. Invited Talks

   1. Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode

      • David Aspinall, Robert Atkey, Kenneth MacKenzie, Donald Sannella

      Pages 1-22

   2. Perspectives in Certificate Translation

      • Gilles Barthe, César Kunz

      Pages 23-34

   3. Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes

      • Marco Bernardo, Rocco De Nicola, Michele Loreti

      Pages 35-56

   4. Toward a Game-Theoretic Model of Grid Systems

      • Maria Grazia Buscemi, Ugo Montanari, Sonia Taneja

      Pages 57-72

   5. Functions as Processes: Termination and the \(\lambda\mu\widetilde{\mu}\)-Calculus

      • Matteo Cimini, Claudio Sacerdoti Coen, Davide Sangiorgi

      Pages 73-86

   6. Predicate Encryption for Secure Remote Storage

      • Giuseppe Persiano

      Pages 87-87

   7. Trust in Crowds: Probabilistic Behaviour in Anonymity Protocols

      • Vladimiro Sassone, Ehab ElSalamouny, Sardaouna Hamadou

      Pages 88-102

3. Types and Processes

   1. Expressiveness of Generic Process Shape Types

      • Jan Jakubův, J. B. Wells

      Pages 103-119

   2. A Java Inspired Semantics for Transactions in SOC

      • Laura Bocchi, Emilio Tuosto

      Pages 120-134

   3. Responsive Choice in Mobile Processes

      • Maxime Gamboni, António Ravara

      Pages 135-152

   4. A Model of Evolvable Components

      • Fabrizio Montesi, Davide Sangiorgi

      Pages 153-171

4. Games and Concurrent Systems

   1. The Impact of Altruism on the Efficiency of Atomic Congestion Games

      • Ioannis Caragiannis, Christos Kaklamanis, Panagiotis Kanellopoulos, Maria Kyropoulou, Evi Papaioannou

      Pages 172-188

   2. Stressed Web Environments as Strategic Games: Risk Profiles and Weltanschauung

      • Joaquim Gabarro, Peter Kilpatrick, Maria Serna, Alan Stewart

      Pages 189-204

   3. An Algebra of Hierarchical Graphs

      • Roberto Bruni, Fabio Gadducci, Alberto Lluch Lafuente

      Pages 205-221

   4. Property-Preserving Refinement of Concurrent Systems

      • Liliana D’Errico, Michele Loreti

      Pages 222-236

5. Certification of Correctness

   1. Certificate Translation for the Verification of Concurrent Programs

      • César Kunz

      Pages 237-252

   2. Certified Result Checking for Polyhedral Analysis of Bytecode Programs

      • Frédéric Besson, Thomas Jensen, David Pichardie, Tiphaine Turpin

      Pages 253-267

6. Tools and Languages

   1. A Novel Resource-Driven Job Allocation Scheme for Desktop Grid Environments

      • Paolo Bertasi, Alberto Pettarin, Michele Scquizzato, Francesco Silvestri

      Pages 268-283

   2. A Framework for Rule-Based Dynamic Adaptation

      • Ivan Lanese, Antonio Bucchiarone, Fabrizio Montesi

      Pages 284-300

Global computing refers to computation over “global computers,” i.e., com- tational infrastructures available globally and able to provide uniform services with variable guarantees for communication, cooperation and mobility, resource usage, security policies and mechanisms, etc., with particular regard to explo- ing their universal scale and the programmability of their services. As the scope and computational power of such global infrastructures continue to grow, it - comes more and more important to develop methods, theories and techniques for trustworthy systems running on global computers. This book constitutes the thoroughly refereed proceedings of the ?fth e- tion of the International Symposium on Trustworthy Global Computing (TGC 2010)thatwasheldinMunich,Germany,February24-26,2010.TheSymposium 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 rigorouslyabout their behavior and properties. The related models of computation incorporate code and data mobility over distributed networks with highly dynamic topologies and heterogeneous devices.

• Java
• Overlay
• Refactoring
• Symbol
• access control
• adaptation
• anonymity
• authentication
• cryptographic protocol
• encryption
• language
• privacy
• security
• semantics
• verification
• algorithm analysis and problem complexity

• Institut für Informatik, LMU Munich, Munich, Germany

  Martin Wirsing

• Institut für Informatik, LMU München, München, Germany

  Martin Hofmann, Axel Rauschmayer

Policies and ethics