Skip to main content
SpringerLink
Log in
Book cover

Trustworthy Global Computing

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

  • Conference proceedings
  • © 2008

Overview

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)

Included in the following conference series:

Conference proceedings info: TGC 2007.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (25 papers)

  1. Front Matter

    Download chapter PDF

  2. Trustworthy Global Computing

    1. Invited Papers

      1. Elimination of Ghost Variables in Program Logics
        • Martin Hofmann, Mariela Pavlova
        Pages 1-20
      2. Web Service Composition: From Analysis to Autonomy
        • Jeff Magee
        Pages 21-21
      3. Service Combinators for Farming Virtual Machines
        • Karthikeyan Bhargavan, Andrew D. Gordon, Iman Narasamdya
        Pages 22-22

  3. Accepted Papers

    1. Combining a Verification Condition Generator for a Bytecode Language with Static Analyses

      • Benjamin Grégoire, Jorge Luis Sacchini
      Pages 23-40

    2. Extracting Control from Data: User Interfaces of MIDP Applications

      • Pierre Crégut
      Pages 41-56

    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

    5. Logical Networks: Towards Foundations for Programmable Overlay Networks and Overlay Computing Systems

      • Luigi Liquori, Michel Cosnard
      Pages 90-107

    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

Keywords

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation