LEADER 04403nam 22007935 450 001 9910483014403321 005 20230330052406.0 010 $a3-319-05119-9 024 7 $a10.1007/978-3-319-05119-2 035 $a(CKB)3710000000095004 035 $a(DE-He213)978-3-319-05119-2 035 $a(SSID)ssj0001187598 035 $a(PQKBManifestationID)11697477 035 $a(PQKBTitleCode)TC0001187598 035 $a(PQKBWorkID)11257165 035 $a(PQKB)10257208 035 $a(MiAaPQ)EBC3101095 035 $a(PPN)17782445X 035 $a(EXLCZ)993710000000095004 100 $a20140307d2014 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aTrustworthy Global Computing $e8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers /$fedited by Martín Abadi, Alberto Lluch Lafuente 205 $a1st ed. 2014. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014. 215 $a1 online resource (X, 331 p. 60 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8358 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-05118-0 320 $aIncludes bibliographical references and index. 327 $aContent-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. 330 $aThis 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. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8358 606 $aData protection 606 $aMachine theory 606 $aApplication software 606 $aComputer engineering 606 $aComputer networks 606 $aData and Information Security 606 $aFormal Languages and Automata Theory 606 $aComputer and Information Systems Applications 606 $aComputer Engineering and Networks 615 0$aData protection. 615 0$aMachine theory. 615 0$aApplication software. 615 0$aComputer engineering. 615 0$aComputer networks. 615 14$aData and Information Security. 615 24$aFormal Languages and Automata Theory. 615 24$aComputer and Information Systems Applications. 615 24$aComputer Engineering and Networks. 676 $a005.8 686 $aDAT 252f$2stub 686 $aDAT 460f$2stub 686 $aDAT 465f$2stub 686 $aSS 4800$2rvk 702 $aAbadi$b Martín$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLluch Lafuente$b Alberto$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aTGC (Symposium) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483014403321 996 $aTrustworthy Global Computing$9771960 997 $aUNINA