Skip to main content
  • Conference proceedings
  • © 2005

Trustworthy Global Computing

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

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)

Conference series link(s): TGC: International Symposium on Trustworthy Global Computing

Conference proceedings info: TGC 2005.

Buy it now

Buying options

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

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

Table of contents (20 papers)

  1. Front Matter

  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 Formal Semantics for Protocol Narrations

    • Sébastien Briais, Uwe Nestmann
    Pages 163-181
  11. web π at Work

    • Cosimo Laneve, Gianluigi Zavattaro
    Pages 182-194
  12. Concurrency Among Strangers

    • Mark S. Miller, E. Dean Tribble, Jonathan Shapiro
    Pages 195-229
  13. Mixin Modules for Dynamic Rebinding

    • Davide Ancona, Sonia Fagorzi, Elena Zucca
    Pages 279-298
  14. A Distributed Object-Oriented Language with Session Types

    • Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alexander Ahern, Sophia Drossopoulou
    Pages 299-318
  15. Automated Analysis of Infinite Scenarios

    • Mikael Buchholtz
    Pages 334-352
  16. Namespace Logic: A Logic for a Reflective Higher-Order Calculus

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

Other Volumes

  1. Trustworthy Global Computing

Editors and Affiliations

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

    Rocco Nicola

  • Università di Bologna, Italy

    Davide Sangiorgi

Bibliographic Information

Buy it now

Buying options

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