Advertisement

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
    14. Ilja Tšahhirov, Peeter Laud
      Pages 294-311
    15. Arnab Roy, Anupam Datta, John C. Mitchell
      Pages 312-329
  4. Tutorial Papers

    1. Romain Beauxis, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden
      Pages 347-362
    2. Geoffrey Smith
      Pages 383-400
  5. Back Matter

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
  • Buy this book on publisher's site