Trustworthy Global Computing International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Nicola, Rocco De (Editor), Sangiorgi, Davide (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
• Series: Lecture Notes in Computer Science, 3705
• Subjects: Computer science.; Computer communication systems.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Operating systems (Computers).; Computer Science.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Computer Communication Networks.; Programming Techniques.; Operating Systems.; Programming Languages, Compilers, Interpreters.

Table of Contents:

• Harmony: The Art of Reconciliation
• A Theory of Noninterference for the ?-Calculus
• Typed Processes in Untyped Contexts
• Model–Based Testing of Cryptographic Protocols
• A General Name Binding Mechanism
• Types for Security in a Mobile World
• History-Based Access Control for Distributed Processes
• Programming Cryptographic Protocols
• A Framework for Analyzing Probabilistic Protocols and Its Application to the Partial Secrets Exchange
• A Formal Semantics for Protocol Narrations
• web ? at Work
• Concurrency Among Strangers
• The Modelling and Analysis of OceanStore Elements Using the CSP Dependability Library
• A Practical Formal Model for Safety Analysis in Capability-Based Systems
• Mixin Modules for Dynamic Rebinding
• A Distributed Object-Oriented Language with Session Types
• Engineering Runtime Requirements-Monitoring Systems Using MDA Technologies
• Automated Analysis of Infinite Scenarios
• Namespace Logic: A Logic for a Reflective Higher-Order Calculus
• Erratum.