Trustworthly Global Computing

5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

  • Martin Wirsing
  • Martin Hofmann
  • Axel Rauschmayer
Conference proceedings TGC 2010

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6084)

Table of contents

  1. Front Matter
  2. Invited Talks

    1. David Aspinall, Robert Atkey, Kenneth MacKenzie, Donald Sannella
      Pages 1-22
    2. Gilles Barthe, César Kunz
      Pages 23-34
    3. Maria Grazia Buscemi, Ugo Montanari, Sonia Taneja
      Pages 57-72
    4. Matteo Cimini, Claudio Sacerdoti Coen, Davide Sangiorgi
      Pages 73-86
    5. Giuseppe Persiano
      Pages 87-87
    6. Vladimiro Sassone, Ehab ElSalamouny, Sardaouna Hamadou
      Pages 88-102
  3. Types and Processes

    1. Jan Jakubův, J. B. Wells
      Pages 103-119
    2. Laura Bocchi, Emilio Tuosto
      Pages 120-134
    3. Maxime Gamboni, António Ravara
      Pages 135-152
    4. Fabrizio Montesi, Davide Sangiorgi
      Pages 153-171
  4. Games and Concurrent Systems

    1. Ioannis Caragiannis, Christos Kaklamanis, Panagiotis Kanellopoulos, Maria Kyropoulou, Evi Papaioannou
      Pages 172-188
    2. Joaquim Gabarro, Peter Kilpatrick, Maria Serna, Alan Stewart
      Pages 189-204
    3. Roberto Bruni, Fabio Gadducci, Alberto Lluch Lafuente
      Pages 205-221
    4. Liliana D’Errico, Michele Loreti
      Pages 222-236
  5. Certification of Correctness

    1. Frédéric Besson, Thomas Jensen, David Pichardie, Tiphaine Turpin
      Pages 253-267
  6. Tools and Languages

    1. Paolo Bertasi, Alberto Pettarin, Michele Scquizzato, Francesco Silvestri
      Pages 268-283
    2. Ivan Lanese, Antonio Bucchiarone, Fabrizio Montesi
      Pages 284-300
    3. Vincenzo Ciancaglini, Luigi Liquori, Laurent Vanni
      Pages 301-317
    4. Gianluigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto
      Pages 318-334
  7. Probabilistic Aspects

    1. Paola Quaglia, Stefano Schivo
      Pages 335-347
    2. Chris Hankin, Flemming Nielson, Hanne Riis Nielson
      Pages 348-363
    3. Igor Cappello, Paola Quaglia
      Pages 364-378
  8. Back Matter

About these proceedings


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

Editors and affiliations

  • Martin Wirsing
    • 1
  • Martin Hofmann
    • 2
  • Axel Rauschmayer
    • 2
  1. 1.Institut für InformatikLMU MunichMunichGermany
  2. 2.Institut für InformatikLMU MünchenMünchenGermany

Bibliographic information

Industry Sectors
Finance, Business & Banking
IT & Software