03554nam 22007095 450 99646595200331620230220233127.03-540-31483-010.1007/11580850(CKB)1000000000232687(SSID)ssj0000320520(PQKBManifestationID)11244851(PQKBTitleCode)TC0000320520(PQKBWorkID)10248499(PQKB)11474841(DE-He213)978-3-540-31483-7(MiAaPQ)EBC3066542(PPN)123098513(EXLCZ)99100000000023268720101108d2005 u| 0engurnn|008mamaatxtccrTrustworthy Global Computing[electronic resource] International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers /edited by Rocco De Nicola, Davide Sangiorgi1st ed. 2005.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2005.1 online resource (VIII, 371 p.) Theoretical Computer Science and General Issues,2512-2029 ;3705Bibliographic Level Mode of Issuance: Monograph3-540-30007-4 Includes bibliographical references and index.Harmony: 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.Theoretical Computer Science and General Issues,2512-2029 ;3705Software engineeringComputer networksComputer programmingOperating systems (Computers)Compilers (Computer programs)Software EngineeringComputer Communication NetworksProgramming TechniquesOperating SystemsCompilers and InterpretersSoftware engineering.Computer networks.Computer programming.Operating systems (Computers).Compilers (Computer programs).Software Engineering.Computer Communication Networks.Programming Techniques.Operating Systems.Compilers and Interpreters.005.1De Nicola Roccoedthttp://id.loc.gov/vocabulary/relators/edtSangiorgi Davideedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465952003316Trustworthy Global Computing771960UNISA