Parameters
More about the book
InhaltsverzeichnisHarmony: 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.
Book purchase
Trustworthy global computing, Rocco De Nicola
- Language
- Released
- 2005
Payment methods
- Title
- Trustworthy global computing
- Language
- English
- Authors
- Rocco De Nicola
- Publisher
- Springer
- Released
- 2005
- ISBN10
- 3540300074
- ISBN13
- 9783540300076
- Category
- Computers, IT, Programming
- Description
- InhaltsverzeichnisHarmony: 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.