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

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

by Rocco De Nicola
     
 

ISBN-10: 3540300074

ISBN-13: 9783540300076

Pub. Date: 01/23/2006

Publisher: Springer Berlin Heidelberg

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

Overview

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.

Product Details

ISBN-13:
9783540300076
Publisher:
Springer Berlin Heidelberg
Publication date:
01/23/2006
Series:
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues Series, #3705
Edition description:
2005
Pages:
371
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.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >