Trustworthy Global Computing

1. Front Matter

   Pages I-XV

   PDF

2. An Information Flow Monitor for a Core of DOM

   • Ana Almeida-Matos, José Fragoso Santos, Tamara Rezk

   Pages 1-16

3. Finding a Forest in a Tree

   • Giorgio Bacci, Marino Miculan, Romeo Rizzi

   Pages 17-33

4. Automata for Analysing Service Contracts

   • Davide Basile, Pierpaolo Degano, Gian Luigi Ferrari

   Pages 34-50

5. On Duality Relations for Session Types

   • Giovanni Bernardi, Ornela Dardha, Simon J. Gay, Dimitrios Kouzapas

   Pages 51-66

6. Characterising Testing Preorders for Broadcasting Distributed Systems

   • Andrea Cerone, Matthew Hennessy

   Pages 67-81

7. Tests for Establishing Security Properties

   • Vincent Cheval, Stéphanie Delaune, Mark Ryan

   Pages 82-96

8. A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours

   • Vincenzo Ciancia, Matteo Sammartino

   Pages 97-111

9. Multiparty Session Nets

   • Luca Fossati, Raymond Hu, Nobuko Yoshida

   Pages 112-127

10. Interaction and Causality in Digital Signature Exchange Protocols

    • Jonathan Hayman

    Pages 128-143

11. Session Types with Gradual Typing

    • Peter Thiemann

    Pages 144-158

12. Corecursion and Non-divergence in Session-Typed Processes

    • Bernardo Toninho, Luis Caires, Frank Pfenning

    Pages 159-175

13. Trust-Based Enforcement of Security Policies

    • Roberto Vigo, Alessandro Celestini, Francesco Tiezzi, Rocco De Nicola, Flemming Nielson, Hanne Riis Nielson

    Pages 176-191

14. Back Matter

    Pages 193-193

    PDF

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Symposium on Trustworthy Global Computing, TGC 2014, held in Rome, Italy, in September 2014. The 15 revised full papers presented were carefully reviewed and selected from 20 submissions. The Symposium on Trustworthy Global Computing focuses on frameworks, tools, algorithms, and protocols for open-ended, large-scale systems and applications, and on rigorous reasoning about their behavior and properties.

• Abstraction mechanisms
• Algorithms
• Autonomic systems
• Cloud computing
• Global computing
• Information flow policies
• Language concepts
• Languages
• Model checking
• Models
• Privacy
• Reliability
• Resource usage
• Security
• Service-oriented architectures
• Software development
• Software principles
• Static analyzers & Trust
• Theorem proving
• Verification

• Department of Computer Science, Saarland University, Saarbrücken, Germany

  Matteo Maffei

• Computer Science, University of Leicester, Leicester, United Kingdom

  Emilio Tuosto

Policies and ethics