Willkommen, schön sind Sie da!
Logo Ex Libris

Trustworthy Global Computing

  • E-Book (pdf)
  • 371 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Inhalt Harmony: The Art of Reconciliation.- A Theory of Noninterference for the ?-Calculus.- Typed Processes in Untyped Contexts.-... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hier erhalten Sie Ihren Download-Link.
CHF 100.90
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

Inhalt

Harmony: 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.

Produktinformationen

Titel: Trustworthy Global Computing
Untertitel: International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
Editor:
EAN: 9783540314837
Digitaler Kopierschutz: Wasserzeichen
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: IT & Internet
Anzahl Seiten: 371
Veröffentlichung: 07.12.2005
Dateigrösse: 8.1 MB

Weitere Bände aus der Buchreihe "Theoretical Computer Science and General Issues"