Trustworthy Global Computing

Inhaltsverzeichnis

• 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.