Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2008

Trustworthy Global Computing

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

Editors:

  1. Gilles Barthe
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Cédric Fournet
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): TGC: International Symposium on Trustworthy Global Computing

Conference proceedings info: TGC 2007.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (25 papers)

  1. Front Matter

    PDF

  2. Trustworthy Global Computing

    1. Invited Papers

      1. Elimination of Ghost Variables in Program Logics
        • Martin Hofmann, Mariela Pavlova
        Pages 1-20
      3. Service Combinators for Farming Virtual Machines
        • Karthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya
        Pages 22-22

  3. Accepted Papers

    3. Extending Operational Semantics of the Java Bytecode

      • Patryk Czarnik, Aleksy Schubert
      Pages 57-72

    4. Relational Analysis for Delivery of Services

      • Flemming Nielson, Hanne Riis Nielson, Jörg Bauer, Christoffer Rosenkilde Nielsen, Henrik Pilegaard
      Pages 73-89

    6. Type-Safe Distributed Programming with ML5

      • Tom Murphy VII, Karl Crary, Robert Harper
      Pages 108-123

    7. Transactional Service Level Agreement

      • Maria Grazia Buscemi, Hernán Melgratti
      Pages 124-139

    8. On the Complexity of Termination Inference for Processes

      • Romain Demangeon, Daniel Hirschkoff, Naoki Kobayashi, Davide Sangiorgi
      Pages 140-155

    9. A Practical Approach for Establishing Trust Relationships between Remote Platforms Using Trusted Computing

      • Kurt Dietrich, Martin Pirker, Tobias Vejda, Ronald Toegl, Thomas Winkler, Peter Lipp
      Pages 156-168

    10. Access Control Based on Code Identity for Open Distributed Systems

      • Andrew Cirillo, James Riely
      Pages 169-185

    11. Service Oriented Architectural Design

      • Roberto Bruni, Alberto Lluch Lafuente, Ugo Montanari, Emilio Tuosto
      Pages 186-203

    12. Replicating Web Services for Scalability

      • Mario Bravetti, Stephen Gilmore, Claudio Guidi, Mirco Tribastone
      Pages 204-221

    13. Location-Aware Quality of Service Measurements for Service-Level Agreements

      • Ashok Argent-Katwala, Jeremy Bradley, Allan Clark, Stephen Gilmore
      Pages 222-239

    14. Multipoint Session Types for a Distributed Calculus

      • Eduardo Bonelli, Adriana Compagnoni
      Pages 240-256

    15. On Progress for Structured Communications

      • Mariangiola Dezani-Ciancaglini, Ugo de’Liguoro, Nobuko Yoshida
      Pages 257-275

    16. A Protocol Compiler for Secure Sessions in ML

      • Ricardo Corin, Pierre-Malo Deniélou
      Pages 276-293
Back to top

Other Volumes

  1. Trustworthy Global Computing

Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation