Parameter
Mehr zum Buch
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.
Buchkauf
Trustworthy global computing, Rocco De Nicola
- Sprache
- Erscheinungsdatum
- 2005
Lieferung
Zahlungsmethoden
Feedback senden
- Titel
- Trustworthy global computing
- Sprache
- Englisch
- Autor*innen
- Rocco De Nicola
- Verlag
- Springer
- Erscheinungsdatum
- 2005
- ISBN10
- 3540300074
- ISBN13
- 9783540300076
- Kategorie
- Informatik & Programmierung
- Beschreibung
- 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.