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

Trustworthy Global Computing

  • E-Book (pdf)
  • 331 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Symposium on Trustworthy Globa... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hier erhalten Sie Ihren Download-Link.
CHF 86.50
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

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Symposium on Trustworthy Global Computing, TGC 2013, held in Buenos Aires, Argentina, in August 2013. The 15 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 29 submissions. The papers cover a wide range of topics in the area of global computing and safe and reliable computation. They are organized in topical sections on security, p-calculus, information flow, models, specifications and proofs and quantitative analysis.



Inhalt

Content-Driven Reputation for Collaborative Systems.- Challenges for Quantitative Analysis of Collective Adaptive Systems.- The Scribble Protocol Language.- Dynamic Measurement and Protected Execution: Model and Analysis.- Security Correctness for Secure Nested Transactions.- Types for Resources in Psi-Calculi.- A Sorted Semantic Framework for Applied Process Calculi.- Static Deadlock Resolution in the Pi-Calculus.- Fine-Grained and Coarse-Grained Reactive Noninterference.- Information Flow Analysis for Valued-Indexed Data Security Compartments.- A Library For Removing Cache-Based Attacks in Concurrent Information Flow Systems.- Models, Specifications and Proofs.- Specification of Asynchronous Component Systems with Modal I/O-Petri Nets.- A Formal Model for the Deferred Update Replication Technique.- Studying Operational Models of Relaxed Concurrency.- Certificates and Separation Logic.- On-the-Fly Fast Mean-Field Model-Checking.- Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations.

Produktinformationen

Titel: Trustworthy Global Computing
Untertitel: 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers
Editor:
EAN: 9783319051192
Digitaler Kopierschutz: Wasserzeichen
Format: E-Book (pdf)
Hersteller: Springer International Publishing
Genre: IT & Internet
Anzahl Seiten: 331
Veröffentlichung: 08.07.2014
Dateigrösse: 7.6 MB

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"