000 04165nam a22006735i 4500
001 978-3-642-41157-1
003 DE-He213
005 20240730193246.0
007 cr nn 008mamaa
008 130904s2013 gw | s |||| 0|eng d
020 _a9783642411571
_9978-3-642-41157-1
024 7 _a10.1007/978-3-642-41157-1
_2doi
050 4 _aQA268
072 7 _aGPJ
_2bicssc
072 7 _aURY
_2bicssc
072 7 _aCOM083000
_2bisacsh
072 7 _aGPJ
_2thema
072 7 _aURY
_2thema
082 0 4 _a005.824
_223
245 1 0 _aTrustworthy Global Computing
_h[electronic resource] :
_b7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers /
_cedited by Catuscia Palamidessi, Mark D. Ryan.
250 _a1st ed. 2013.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2013.
300 _aX, 213 p. 37 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v8191
505 0 _aFrom Rational Number Reconstruction to Set Reconciliation and File Synchronization -- Affine Refinement Types for Authentication and Authorization -- Seamless Distributed Computing from the Geometry of Interaction -- A Beginner's Guide to the DeadLock Analysis Model -- Formal Modeling and Reasoning about the Android Security Framework -- A Type System for Flexible Role Assignment in Multiparty Communicating Systems -- A Multiparty Multi-session Logic -- LTS Semantics for Compensation-Based Processes -- Linking Unlinkability -- Towards Quantitative Analysis of Opacity -- An Algebra for Symbolic Diffie-Hellman Protocol Analysis -- Security Analysis in Probabilistic Distributed Protocols via Bounded Reachability -- Modular Reasoning about Differential Privacy in a Probabilistic Process Calculus.
520 _aThis book constitutes the thoroughly refereed post-conference proceedings of the 7th International Symposium on Trustworthy Global Computing, TGC 2012, held in Newcastle upon Tyne, UK, in September 2012. The 9 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 14 submissions. The papers cover a wide range of topics in the area of global computing and reliable computation in the so-called global computers, i.e., those computational abstractions emerging in large-scale infrastructures such as service-oriented architectures, autonomic systems and cloud computing, providing frameworks, tools, algorithms and protocols for designing open-ended, large-scale applications and for reasoning about their behavior and properties in a rigorous way.
650 0 _aCryptography.
_91973
650 0 _aData encryption (Computer science).
_99168
650 0 _aComputer networks .
_931572
650 0 _aElectronic data processing
_xManagement.
_9153016
650 0 _aAlgorithms.
_93390
650 0 _aSoftware engineering.
_94138
650 0 _aCoding theory.
_94154
650 0 _aInformation theory.
_914256
650 1 4 _aCryptology.
_931769
650 2 4 _aComputer Communication Networks.
_9153017
650 2 4 _aIT Operations.
_931703
650 2 4 _aAlgorithms.
_93390
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aCoding and Information Theory.
_9153018
700 1 _aPalamidessi, Catuscia.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9153019
700 1 _aRyan, Mark D.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9153020
710 2 _aSpringerLink (Online service)
_9153021
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783642411564
776 0 8 _iPrinted edition:
_z9783642411588
830 0 _aTheoretical Computer Science and General Issues,
_x2512-2029 ;
_v8191
_9153022
856 4 0 _uhttps://doi.org/10.1007/978-3-642-41157-1
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c94669
_d94669