Trustworthy Global Computing: International Symposium, Tgc 2005, Edinburgh, Uk, April 7-9, 2005. Revised Selected Papers

ISBN-13: 9783540300076 / Angielski / Miękka / 2005 / 371 str.

De R. Nicola; Rocco De Nicola; Davide Sangiorgi

Opis

Constitutes the post-proceedings of the International Symposium on Trustworthy Global Computing. This book covers issues, such as resource usage, language-based security, theories of trust and authentication, privacy, reliability and business integrity access control and mechanisms for enforcing them, and more.

Spis treści

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.

O autorze

Davide Sangiorgi is Full Professor in Computer Science at the University of Bologna, Italy.