
Parametry
Více o knize
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 vydání
- 2005
Doručení
Platební metody
Navrhnout úpravu
- Titul
- Trustworthy global computing
- Jazyk
- anglicky
- Autoři
- Rocco De Nicola
- Vydavatel
- Springer
- Rok vydání
- 2005
- ISBN10
- 3540300074
- ISBN13
- 9783540300076
- Kategorie
- Počítače, IT, programování
- Anotace
- 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.