Trustworthy Global Computing International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Nicola, Rocco De (Επιμελητής έκδοσης), Sangiorgi, Davide (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
• Σειρά: Lecture Notes in Computer Science, 3705
• Θέματα: Computer science.; Computer communication systems.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Operating systems (Computers).; Computer Science.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Computer Communication Networks.; Programming Techniques.; Operating Systems.; Programming Languages, Compilers, Interpreters.

Πίνακας περιεχομένων:

• 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.