Skip to main content
SpringerLink
Log in
Book cover

Trustworthy Global Computing

6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Roberto Bruni

    1. Computer Science Department, University of Pisa, Pisa, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Vladimiro Sassone

    1. ECS, University of Southampton, Southampton, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Unique visibility
  • State of the art research
  • Fast track conference proceedings

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

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

Included in the following conference series:

Conference proceedings info: TGC 2011.

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 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.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 (14 papers)

  1. Front Matter

    Download chapter PDF

  2. A Reputation System for Multirole Sessions

    • Viviana Bono, Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini
    Pages 1-24

  3. Asynchronous Distributed Monitoring for Multiparty Session Enforcement

    • Tzu-Chun Chen, Laura Bocchi, Pierre-Malo Deniélou, Kohei Honda, Nobuko Yoshida
    Pages 25-45

  4. E-Mobility as a Challenge for New ICT Solutions in the Car Industry

    • Bernd Werther, Nicklas Hoch
    Pages 46-57

  5. On the Existence of Nash Equilibria in Strategic Search Games

    • Carme Àlvarez, Amalia Duch, Maria Serna, Dimitrios Thilikos
    Pages 58-72

  6. Static Enforcement of Information Flow Policies for a Concurrent JVM-like Language

    • Gilles Barthe, Exequiel Rivas
    Pages 73-88

  7. Weak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Sequential Processes

    • Marco Bernardo
    Pages 89-103

  8. Constraints for Service Contracts

    • Maria Grazia Buscemi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Ugo Montanari
    Pages 104-120

  9. Security of the Enhanced TCG Privacy-CA Solution

    • Liqun Chen, Ming-Feng Lee, Bogdan Warinschi
    Pages 121-141

  10. Context Aware Specification and Verification of Distributed Systems

    • Liliana D’Errico, Michele Loreti
    Pages 142-159

  11. Orchestrating Tuple-Based Languages

    • Rocco De Nicola, Andrea Margheri, Francesco Tiezzi
    Pages 160-178

  12. Transactional Correctness for Secure Nested Transactions

    • Dominic Duggan, Ye Wu
    Pages 179-196

  13. Orchestrating Unreliable Services: Strategic and Probabilistic Approaches to Reliability

    • Joaquim Gabarro, Maria Serna, Alan Stewart
    Pages 197-211

  14. On Correlation Sets and Correlation Exceptions in ActiveBPEL

    • Hernán Melgratti, Christian Roldán
    Pages 212-226

  15. Conditional Information Flow Policies and Unwinding Relations

    • Chenyi Zhang
    Pages 227-241

  16. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Trustworthy Global Computing

Keywords

About this book

This book constitutes the refereed proceedings of the 6th International Symposium on Trustworthy Global Computing, TGC 2011, held in Aachen, Germany, in June 2011. The 14 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections on modeling formalisms for concurrent systems; model checking and quantitative extensions thereof; semantics and analysis of modern programming languages; probabilistic models for concurrency; and testing and run-time verification.

Editors and Affiliations

  • Computer Science Department, University of Pisa, Pisa, Italy

    Roberto Bruni

  • ECS, University of Southampton, Southampton, UK

    Vladimiro Sassone

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation