Skip to main content
SpringerLink
Log in
Book cover

Trustworthy Global Computing

7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Catuscia Palamidessi

    1. Inria, Campus de l’École Polytechnique, Paris, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Mark D. Ryan

    1. University of Birmingham, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • State-of-the-art research
  • Up-to-date results
  • Unique visibility

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

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

Included in the following conference series:

Conference proceedings info: TGC 2012.

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 49.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 (13 papers)

  1. Front Matter

    Download chapter PDF

  2. From Rational Number Reconstruction to Set Reconciliation and File Synchronization

    • Antoine Amarilli, Fabrice Ben Hamouda, Florian Bourse, Robin Morisset, David Naccache, Pablo Rauzy
    Pages 1-18

  3. Affine Refinement Types for Authentication and Authorization

    • Michele Bugliesi, Stefano Calzavara, Fabienne Eigner, Matteo Maffei
    Pages 19-33

  4. Seamless Distributed Computing from the Geometry of Interaction

    • Olle Fredriksson, Dan R. Ghica
    Pages 34-48

  5. A Beginner’s Guide to the DeadLock Analysis Model

    • Elena Giachino, Cosimo Laneve
    Pages 49-63

  6. Formal Modeling and Reasoning about the Android Security Framework

    • Alessandro Armando, Gabriele Costa, Alessio Merlo
    Pages 64-81

  7. A Type System for Flexible Role Assignment in Multiparty Communicating Systems

    • Pedro Baltazar, Luís Caires, Vasco T. Vasconcelos, Hugo Torres Vieira
    Pages 82-96

  8. A Multiparty Multi-session Logic

    • Laura Bocchi, Romain Demangeon, Nobuko Yoshida
    Pages 97-111

  9. LTS Semantics for Compensation-Based Processes

    • Roberto Bruni, Anne Kersten Kauer
    Pages 112-128

  10. Linking Unlinkability

    • Mayla Brusó, Konstantinos Chatzikokolakis, Sandro Etalle, Jerry den Hartog
    Pages 129-144

  11. Towards Quantitative Analysis of Opacity

    • Jeremy W. Bryans, Maciej Koutny, Chunyan Mu
    Pages 145-163

  12. An Algebra for Symbolic Diffie-Hellman Protocol Analysis

    • Daniel J. Dougherty, Joshua D. Guttman
    Pages 164-181

  13. Security Analysis in Probabilistic Distributed Protocols via Bounded Reachability

    • Silvia S. Pelozo, Pedro R. D’Argenio
    Pages 182-197

  14. Modular Reasoning about Differential Privacy in a Probabilistic Process Calculus

    • Lili Xu
    Pages 198-212

  15. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Trustworthy Global Computing

Keywords

About this book

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Symposium on Trustworthy Global Computing, TGC 2012, held in Newcastle upon Tyne, UK, in September 2012. The 9 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 14 submissions. The papers cover a wide range of topics in the area of global computing and reliable computation in the so-called global computers, i.e., those computational abstractions emerging in large-scale infrastructures such as service-oriented architectures, autonomic systems and cloud computing, providing frameworks, tools, algorithms and protocols for designing open-ended, large-scale applications and for reasoning about their behavior and properties in a rigorous way.

Editors and Affiliations

  • Inria, Campus de l’École Polytechnique, Paris, France

    Catuscia Palamidessi

  • University of Birmingham, UK

    Mark D. Ryan

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation