Parametre
Viac o knihe
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.
Nákup knihy
Trustworthy global computing, Rocco De Nicola
- Jazyk
- Rok vydania
- 2005
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- Trustworthy global computing
- Jazyk
- anglicky
- Autori
- Rocco De Nicola
- Vydavateľ
- Springer
- Rok vydania
- 2005
- ISBN10
- 3540300074
- ISBN13
- 9783540300076
- Kategórie
- Počítače, IT, programovanie
- Anotácia
- 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.