Book Volume 3705 2005

Trustworthy Global Computing

International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers

Editors:

ISBN: 978-3-540-30007-6 (Print) 978-3-540-31483-7 (Online)

Table of contents (20 chapters)

  1. Front Matter

    Pages -

  2. Chapter

    Pages 1-1

    Harmony: The Art of Reconciliation

  3. Chapter

    Pages 2-18

    A Theory of Noninterference for the π-Calculus

  4. Chapter

    Pages 19-32

    Typed Processes in Untyped Contexts

  5. Chapter

    Pages 33-60

    Model–Based Testing of Cryptographic Protocols

  6. Chapter

    Pages 61-74

    A General Name Binding Mechanism

  7. Chapter

    Pages 75-97

    Types for Security in a Mobile World

  8. Chapter

    Pages 98-115

    History-Based Access Control for Distributed Processes

  9. Chapter

    Pages 116-145

    Programming Cryptographic Protocols

  10. Chapter

    Pages 146-162

    A Framework for Analyzing Probabilistic Protocols and Its Application to the Partial Secrets Exchange

  11. Chapter

    Pages 163-181

    A Formal Semantics for Protocol Narrations

  12. Chapter

    Pages 182-194

    web π at Work

  13. Chapter

    Pages 195-229

    Concurrency Among Strangers

  14. Chapter

    Pages 230-247

    The Modelling and Analysis of OceanStore Elements Using the CSP Dependability Library

  15. Chapter

    Pages 248-278

    A Practical Formal Model for Safety Analysis in Capability-Based Systems

  16. Chapter

    Pages 279-298

    Mixin Modules for Dynamic Rebinding

  17. Chapter

    Pages 299-318

    A Distributed Object-Oriented Language with Session Types

  18. Chapter

    Pages 319-333

    Engineering Runtime Requirements-Monitoring Systems Using MDA Technologies

  19. Chapter

    Pages 334-352

    Automated Analysis of Infinite Scenarios

  20. Chapter

    Pages 353-369

    Namespace Logic: A Logic for a Reflective Higher-Order Calculus

  21. Chapter

    Pages E1-E1

    Erratum

  22. Back Matter

    Pages -