Skip to main content
SpringerLink
Log in

Trustworthy Global Computing

8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Martín Abadi

    1. Microsoft Research, Mountain View, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Alberto Lluch Lafuente

    1. IMT Institute for Advanced Studies, Lucca, Italy

    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 8358)

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

Included in the following conference series:

Conference proceedings info: TGC 2013.

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and 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

About this book

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Symposium on Trustworthy Global Computing, TGC 2013, held in Buenos Aires, Argentina, in August 2013. The 15 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 29 submissions. The papers cover a wide range of topics in the area of global computing and safe and reliable computation. They are organized in topical sections on security, π-calculus, information flow, models, specifications and proofs and quantitative analysis.

Similar content being viewed by others

Keywords

Table of contents (18 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Invited Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Content-Driven Reputation for Collaborative Systems

      • Luca de Alfaro, Bo Adler
      Pages 3-13

    3. Challenges for Quantitative Analysis of Collective Adaptive Systems

      • Jane Hillston
      Pages 14-21

    4. The Scribble Protocol Language

      • Nobuko Yoshida, Raymond Hu, Rumyana Neykova, Nicholas Ng
      Pages 22-41

  3. Security

    1. Front Matter

      Pages 43-43
      Download chapter PDF

    2. Dynamic Measurement and Protected Execution: Model and Analysis

      • Shiwei Xu, Ian Batten, Mark Ryan
      Pages 45-63

    3. Security Correctness for Secure Nested Transactions

      • Dominic Duggan, Ye Wu
      Pages 64-79

  4. π-Calculus

    1. Front Matter

      Pages 81-81
      Download chapter PDF

    2. Types for Resources in \(\psi \)-calculi

      • Hans Hüttel
      Pages 83-102

    3. A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract)

      • Johannes Borgström, Ramūnas Gutkovas, Joachim Parrow, Björn Victor, Johannes Åman Pohjola
      Pages 103-118

    4. Timed \(\pi \)-Calculus

      • Neda Saeedloei, Gopal Gupta
      Pages 119-135

    5. Towards Static Deadlock Resolution in the \(\pi \)-Calculus

      • Marco Giunti, António Ravara
      Pages 136-155

  5. Information Flow

    1. Front Matter

      Pages 157-157
      Download chapter PDF

    2. Fine-Grained and Coarse-Grained Reactive Noninterference

      • Pejman Attar, Ilaria Castellani
      Pages 159-179

    3. Information Flow Analysis for Valued-Indexed Data Security Compartments

      • Luísa Lourenço, Luís Caires
      Pages 180-198

    4. A Library for Removing Cache-Based Attacks in Concurrent Information Flow Systems

      • Pablo Buiras, Amit Levy, Deian Stefan, Alejandro Russo, David Mazières
      Pages 199-216

  6. Models, Specifications, and Proofs

    1. Front Matter

      Pages 217-217
      Download chapter PDF

    2. Specification of Asynchronous Component Systems with Modal I/O-Petri Nets

      • Serge Haddad, Rolf Hennicker, Mikael H. Møller
      Pages 219-234

    3. A Formal Model for the Deferred Update Replication Technique

      • Andrea Corradini, Leila Ribeiro, Fernando Dotti, Odorico Mendizabal
      Pages 235-253
Back to top

Other volumes

  1. Trustworthy Global Computing

Editors and Affiliations

  • Microsoft Research, Mountain View, USA

    Martín Abadi

  • IMT Institute for Advanced Studies, Lucca, Italy

    Alberto Lluch Lafuente

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation