Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers (Lecture Notes in Computer Science Book 8358)

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, π-calculus, Information Flow, Models, Specifications And Proofs And Quantitative Analysis. 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. Edited By Martín Abadi, Alberto Lluch Lafuente. Front Matter....Pages I-X Front Matter....Pages 1-1 Content-Driven Reputation for Collaborative Systems....Pages 3-13 Challenges for Quantitative Analysis of Collective Adaptive Systems....Pages 14-21 The Scribble Protocol Language....Pages 22-41 Front Matter....Pages 43-43 Dynamic Measurement and Protected Execution: Model and Analysis....Pages 45-63 Security Correctness for Secure Nested Transactions....Pages 64-79 Front Matter....Pages 81-81 Types for Resources in $$\psi $$ -calculi....Pages 83-102 A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract)....Pages 103-118 Timed $$\pi $$ -Calculus....Pages 119-135 Towards Static Deadlock Resolution in the $$\pi $$ -Calculus....Pages 136-155 Front Matter....Pages 157-157 Fine-Grained and Coarse-Grained Reactive Noninterference....Pages 159-179 Information Flow Analysis for Valued-Indexed Data Security Compartments....Pages 180-198 A Library for Removing Cache-Based Attacks in Concurrent Information Flow Systems....Pages 199-216 Front Matter....Pages 217-217 Specification of Asynchronous Component Systems with Modal I/O-Petri Nets....Pages 219-234 A Formal Model for the Deferred Update Replication Technique....Pages 235-253 Studying Operational Models of Relaxed Concurrency....Pages 254-272 Certificates and Separation Logic....Pages 273-293 Front Matter....Pages 295-295 On-the-fly Fast Mean-Field Model-Checking....Pages 297-314 Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations....Pages 315-330 Back Matter....Pages 331-331 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