Advertisement

Trustworthy Global Computing

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

  • Rocco De Nicola
  • Davide Sangiorgi
Conference proceedings TGC 2005

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

Table of contents

  1. Front Matter
  2. Benjamin C. Pierce
    Pages 1-1
  3. Silvia Crafa, Sabina Rossi
    Pages 2-18
  4. Michele Bugliesi, Marco Giunti
    Pages 19-32
  5. Dean Rosenzweig, Davor Runje, Wolfram Schulte
    Pages 33-60
  6. Michele Boreale, Maria Grazia Buscemi, Ugo Montanari
    Pages 61-74
  7. Adriana B. Compagnoni, Elsa L. Gunter
    Pages 75-97
  8. Francisco Martins, Vasco Vasconcelos
    Pages 98-115
  9. Joshua D. Guttman, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen
    Pages 116-145
  10. Sébastien Briais, Uwe Nestmann
    Pages 163-181
  11. Cosimo Laneve, Gianluigi Zavattaro
    Pages 182-194
  12. Mark S. Miller, E. Dean Tribble, Jonathan Shapiro
    Pages 195-229
  13. Davide Ancona, Sonia Fagorzi, Elena Zucca
    Pages 279-298
  14. Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alexander Ahern, Sophia Drossopoulou
    Pages 299-318
  15. Mikael Buchholtz
    Pages 334-352
  16. L. G. Meredith, Matthias Radestock
    Pages 353-369
  17. Editorial Board
    Pages E1-E1
  18. Back Matter

About these proceedings

Keywords

Debugging authentication cryptographic protocols dependable computing distributed computing distributed systems formal methods global computing mobile code mobile computing model checking model-based testing modeling programming verification

Editors and affiliations

  • Rocco De Nicola
    • 1
  • Davide Sangiorgi
    • 2
  1. 1.Dipartimento di Sistemi e InformaticaUniversità di FirenzeItaly
  2. 2.Università di BolognaItaly

Bibliographic information

  • DOI https://doi.org/10.1007/11580850
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-30007-6
  • Online ISBN 978-3-540-31483-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site