Knihobot
Knihu momentálně nemáme skladem

Trustworthy global computing

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
Jakmile ji vyčmucháme, pošleme vám e-mail.

Doručení

  •  

Platební metody

Navrhnout úpravu