Trustworthy Global Computing: International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers / Edition 1by Rocco De Nicola
This book constitutes the thoroughly refereed post-proceedings of the International Symposium on Trustworthy Global Computing, TGC 2005, held in Edinburgh, UK, in April 2005, and colocated with the events of ETAPS 2005. The 11 revised full papers presented together with 8 papers contributed by the invited speakers were carefully selected during 2 rounds of… See more details below
This book constitutes the thoroughly refereed post-proceedings of the International Symposium on Trustworthy Global Computing, TGC 2005, held in Edinburgh, UK, in April 2005, and colocated with the events of ETAPS 2005. The 11 revised full papers presented together with 8 papers contributed by the invited speakers were carefully selected during 2 rounds of reviewing and improvement from numerous submissions. Topical issues covered by the workshop are resource usage, language-based security, theories of trust and authentication, privacy, reliability and business integrity access control and mechanisms for enforcing them, models of interaction and dynamic components management, language concepts and abstraction mechanisms, test generators, symbolic interpreters, type checkers, finite state model checkers, theorem provers, software principles to support debugging and verification.
- Springer Berlin Heidelberg
- Publication date:
- Lecture Notes in Computer Science / Theoretical Computer Science and General Issues Series, #3705
- Edition description:
- Product dimensions:
- 9.21(w) x 6.14(h) x 0.79(d)
Table of Contents
Harmony: The Art of Reconciliation.- A Theory of Noninterference for the-Calculus.- Typed Processes in Untyped Contexts.- Model–Based Testing of Cryptographic Prools.- A General Name Binding Mechanism.- Types for Security in a Mobile World.- History-Based Access Control for Distributed Processes.- Programming Cryptographic Prools.- A Framework for Analyzing Probabilistic Prools and Its Application to the Partial Secrets Exchange.- A Formal Semantics for Prool 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.
and post it to your social network
Most Helpful Customer Reviews
See all customer reviews >