Trustworthy Global Computing
8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers
(Sprache: Englisch)
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...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
54.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Trustworthy Global Computing “
Klappentext zu „Trustworthy Global Computing “
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, pi-calculus, information flow, models, specifications and proofs and quantitative analysis.
Inhaltsverzeichnis zu „Trustworthy Global Computing “
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.
Bibliographische Angaben
- 2014, 2014, X, 331 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Martín Abadi, Alberto Lluch Lafuente
- Verlag: Springer, Berlin
- ISBN-10: 3319051180
- ISBN-13: 9783319051185
- Erscheinungsdatum: 31.03.2014
Sprache:
Englisch
Kommentar zu "Trustworthy Global Computing"
Schreiben Sie einen Kommentar zu "Trustworthy Global Computing".
Kommentar verfassen