Trustworthy Global Computing

Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers

  • Editors
  • Gilles Barthe
  • Cédric Fournet
Conference proceedings TGC 2007
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4912)

Table of contents

  1. Front Matter
  2. Trustworthy Global Computing

    1. Invited Papers

      1. Martin Hofmann, Mariela Pavlova
        Pages 1-20
      2. Karthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya
        Pages 22-22
  3. Accepted Papers

    1. Patryk Czarnik, Aleksy Schubert
      Pages 57-72
    2. Flemming Nielson, Hanne Riis Nielson, Jörg Bauer, Christoffer Rosenkilde Nielsen, Henrik Pilegaard
      Pages 73-89
    3. Tom Murphy VII, Karl Crary, Robert Harper
      Pages 108-123
    4. Maria Grazia Buscemi, Hernán Melgratti
      Pages 124-139
    5. Romain Demangeon, Daniel Hirschkoff, Naoki Kobayashi, Davide Sangiorgi
      Pages 140-155
    6. Kurt Dietrich, Martin Pirker, Tobias Vejda, Ronald Toegl, Thomas Winkler, Peter Lipp
      Pages 156-168
    7. Andrew Cirillo, James Riely
      Pages 169-185
    8. Roberto Bruni, Alberto Lluch Lafuente, Ugo Montanari, Emilio Tuosto
      Pages 186-203
    9. Mario Bravetti, Stephen Gilmore, Claudio Guidi, Mirco Tribastone
      Pages 204-221
    10. Ashok Argent-Katwala, Jeremy Bradley, Allan Clark, Stephen Gilmore
      Pages 222-239
    11. Eduardo Bonelli, Adriana Compagnoni
      Pages 240-256
    12. Mariangiola Dezani-Ciancaglini, Ugo de’Liguoro, Nobuko Yoshida
      Pages 257-275
    13. Ricardo Corin, Pierre-Malo Deniélou
      Pages 276-293

About these proceedings

Keywords

DJ Java MIDP Scala Session Web Services access control anonymity authorization logic calculi design distributed computing global computing programming verification

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-78663-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-78662-7
  • Online ISBN 978-3-540-78663-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book