Trustworthy Global Computing

1. Front Matter

   Pages I-X

   PDF

2. Invited Papers

   1. Front Matter

      Pages 1-1

      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

      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

      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

      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

      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

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.

• computational complexity
• data security
• distributed systems
• formal methods
• hardware security
• information systems
• logic
• pi-calculus
• reliable computation

• Microsoft Research, Mountain View, USA

  Martín Abadi

• IMT Institute for Advanced Studies, Lucca, Italy

  Alberto Lluch Lafuente

Policies and ethics