LEADER 03554nam  22007095  450 
001 996465952003316
005 20230220233127.0
010   $a3-540-31483-0
024 7 $a10.1007/11580850
035   $a(CKB)1000000000232687
035   $a(SSID)ssj0000320520
035   $a(PQKBManifestationID)11244851
035   $a(PQKBTitleCode)TC0000320520
035   $a(PQKBWorkID)10248499
035   $a(PQKB)11474841
035   $a(DE-He213)978-3-540-31483-7
035   $a(MiAaPQ)EBC3066542
035   $a(PPN)123098513
035   $a(EXLCZ)991000000000232687
100   $a20101108d2005      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aTrustworthy Global Computing$b[electronic resource] $eInternational Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers /$fedited by Rocco De Nicola, Davide Sangiorgi
205   $a1st ed. 2005.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005.
215   $a1 online resource (VIII, 371 p.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3705
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-30007-4 
320   $aIncludes bibliographical references and index.
327   $aHarmony: The Art of Reconciliation -- A Theory of Noninterference for the ?-Calculus -- Typed Processes in Untyped Contexts -- Model?Based Testing of Cryptographic Protocols -- A General Name Binding Mechanism -- Types for Security in a Mobile World -- History-Based Access Control for Distributed Processes -- Programming Cryptographic Protocols -- A Framework for Analyzing Probabilistic Protocols and Its Application to the Partial Secrets Exchange -- A Formal Semantics for Protocol Narrations -- web ? at Work -- Concurrency Among Strangers -- The Modelling and Analysis of OceanStore Elements Using the CSP Dependability Library -- A Practical Formal Model for Safety Analysis in Capability-Based Systems -- Mixin Modules for Dynamic Rebinding -- A Distributed Object-Oriented Language with Session Types -- Engineering Runtime Requirements-Monitoring Systems Using MDA Technologies -- Automated Analysis of Infinite Scenarios -- Namespace Logic: A Logic for a Reflective Higher-Order Calculus -- Erratum.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3705
606   $aSoftware engineering
606   $aComputer networks
606   $aComputer programming
606   $aOperating systems (Computers)
606   $aCompilers (Computer programs)
606   $aSoftware Engineering
606   $aComputer Communication Networks
606   $aProgramming Techniques
606   $aOperating Systems
606   $aCompilers and Interpreters
615  0$aSoftware engineering.
615  0$aComputer networks.
615  0$aComputer programming.
615  0$aOperating systems (Computers).
615  0$aCompilers (Computer programs).
615 14$aSoftware Engineering.
615 24$aComputer Communication Networks.
615 24$aProgramming Techniques.
615 24$aOperating Systems.
615 24$aCompilers and Interpreters.
676   $a005.1
702   $aDe Nicola$b Rocco$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSangiorgi$b Davide$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465952003316
996   $aTrustworthy Global Computing$9771960
997   $aUNISA