Skip to main content
SpringerLink
Log in

Trustworthy Global Computing

International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers

  • Conference proceedings
  • © 2005

Overview

Editors:
  1. Rocco Nicola

    1. Dipartimento di Sistemi e Informatica, Università di Firenze, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Davide Sangiorgi

    1. Università di Bologna, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3705)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: TGC 2005.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (20 papers)

  1. Front Matter

    Download chapter PDF

  2. Harmony: The Art of Reconciliation

    • Benjamin C. Pierce
    Pages 1-1

  3. A Theory of Noninterference for the π-Calculus

    • Silvia Crafa, Sabina Rossi
    Pages 2-18

  4. Typed Processes in Untyped Contexts

    • Michele Bugliesi, Marco Giunti
    Pages 19-32

  5. Model–Based Testing of Cryptographic Protocols

    • Dean Rosenzweig, Davor Runje, Wolfram Schulte
    Pages 33-60

  6. A General Name Binding Mechanism

    • Michele Boreale, Maria Grazia Buscemi, Ugo Montanari
    Pages 61-74

  7. Types for Security in a Mobile World

    • Adriana B. Compagnoni, Elsa L. Gunter
    Pages 75-97

  8. History-Based Access Control for Distributed Processes

    • Francisco Martins, Vasco Vasconcelos
    Pages 98-115

  9. Programming Cryptographic Protocols

    • Joshua D. Guttman, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen
    Pages 116-145

  10. A Framework for Analyzing Probabilistic Protocols and Its Application to the Partial Secrets Exchange

    • Konstantinos Chatzikokolakis, Catuscia Palamidessi
    Pages 146-162

  11. A Formal Semantics for Protocol Narrations

    • Sébastien Briais, Uwe Nestmann
    Pages 163-181

  12. web π at Work

    • Cosimo Laneve, Gianluigi Zavattaro
    Pages 182-194

  13. Concurrency Among Strangers

    • Mark S. Miller, E. Dean Tribble, Jonathan Shapiro
    Pages 195-229

  14. The Modelling and Analysis of OceanStore Elements Using the CSP Dependability Library

    • William Simmonds, Tim Hawkins
    Pages 230-247

  15. A Practical Formal Model for Safety Analysis in Capability-Based Systems

    • Fred Spiessens, Peter Van Roy
    Pages 248-278

  16. Mixin Modules for Dynamic Rebinding

    • Davide Ancona, Sonia Fagorzi, Elena Zucca
    Pages 279-298

  17. A Distributed Object-Oriented Language with Session Types

    • Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alexander Ahern, Sophia Drossopoulou
    Pages 299-318

  18. Engineering Runtime Requirements-Monitoring Systems Using MDA Technologies

    • James Skene, Wolfgang Emmerich
    Pages 319-333

  19. Automated Analysis of Infinite Scenarios

    • Mikael Buchholtz
    Pages 334-352

  20. Namespace Logic: A Logic for a Reflective Higher-Order Calculus

    • L. G. Meredith, Matthias Radestock
    Pages 353-369
Back to top

Other volumes

  1. Trustworthy Global Computing

Keywords

Editors and Affiliations

  • Dipartimento di Sistemi e Informatica, Università di Firenze, Italy

    Rocco Nicola

  • Università di Bologna, Italy

    Davide Sangiorgi

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation