04403nam 22007935 450 991048301440332120230330052406.03-319-05119-910.1007/978-3-319-05119-2(CKB)3710000000095004(DE-He213)978-3-319-05119-2(SSID)ssj0001187598(PQKBManifestationID)11697477(PQKBTitleCode)TC0001187598(PQKBWorkID)11257165(PQKB)10257208(MiAaPQ)EBC3101095(PPN)17782445X(EXLCZ)99371000000009500420140307d2014 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierTrustworthy Global Computing 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers /edited by Martín Abadi, Alberto Lluch Lafuente1st ed. 2014.Cham :Springer International Publishing :Imprint: Springer,2014.1 online resource (X, 331 p. 60 illus.) Theoretical Computer Science and General Issues,2512-2029 ;8358Bibliographic Level Mode of Issuance: Monograph3-319-05118-0 Includes bibliographical references and index.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.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.Theoretical Computer Science and General Issues,2512-2029 ;8358Data protectionMachine theoryApplication softwareComputer engineeringComputer networksData and Information SecurityFormal Languages and Automata TheoryComputer and Information Systems ApplicationsComputer Engineering and NetworksData protection.Machine theory.Application software.Computer engineering.Computer networks.Data and Information Security.Formal Languages and Automata Theory.Computer and Information Systems Applications.Computer Engineering and Networks.005.8DAT 252fstubDAT 460fstubDAT 465fstubSS 4800rvkAbadi Martínedthttp://id.loc.gov/vocabulary/relators/edtLluch Lafuente Albertoedthttp://id.loc.gov/vocabulary/relators/edtTGC (Symposium)MiAaPQMiAaPQMiAaPQBOOK9910483014403321Trustworthy Global Computing771960UNINA