Skip to main content
  • Conference proceedings
  • © 2007

Trustworthy Global Computing

Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

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

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 2006.

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. FP6 Project Overviews

    1. Project AEOLUS: An Overview

      • Christos Kaklamanis
      Pages 1-9
    2. MOBIUS: Mobility, Ubiquity, Security

      • Gilles Barthe, Lennart Beringer, Pierre Crégut, Benjamin Grégoire, Martin Hofmann, Peter Müller et al.
      Pages 10-29
    3. Sensoria Process Calculi for Service-Oriented Computing

      • Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias Hölzl, Roberto Lucchi, Mirco Tribastone et al.
      Pages 30-50
    4. Global Grids – Making a Case for Self-organization in Large-Scale Overlay Networks

      • Torsten Eymann, Werner Streitberger, Sebastian Hudert
      Pages 51-68
  3. Keynote Speakers

    1. An Algorithmic Theory of Mobile Agents

      • Evangelos Kranakis, Danny Krizanc
      Pages 86-97
  4. Types to Discipline Interactions

    1. Integration of a Security Type System into a Program Logic

      • Reiner Hähnle, Jing Pan, Philipp Rümmer, Dennis Walter
      Pages 116-131
  5. Calculi for Distributed Systems

    1. PRISMA: A Mobile Calculus with Parametric Synchronization

      • Roberto Bruni, Ivan Lanese
      Pages 132-149
    2. A Typed Calculus for Querying Distributed XML Documents

      • Lucia Acciai, Michele Boreale, Silvano Dal Zilio
      Pages 167-182
  6. Flexible Modeling

    1. Verification of Model Transformations: A Case Study with BPEL

      • Luciano Baresi, Karsten Ehrig, Reiko Heckel
      Pages 183-199
    2. A Fuzzy Approach for Negotiating Quality of Services

      • Davide Bacciu, Alessio Botta, Hernán Melgratti
      Pages 200-217
  7. Algorithms and Systems for Global Computing

    1. Scheduling to Maximize Participation

      • Ioannis Caragiannis, Christos Kaklamanis, Panagiotis Kanellopoulos, Evi Papaioannou
      Pages 218-232
    2. On the Limits of Cache-Oblivious Matrix Transposition

      • Francesco Silvestri
      Pages 233-243
    3. The KOA Remote Voting System: A Summary of Work to Date

      • Joseph R. Kiniry, Alan E. Morkan, Dermot Cochran, Fintan Fairmichael, Patrice Chalin, Martijn Oostdijk et al.
      Pages 244-262
  8. Security, Anonymity and Type Safety

    1. Security Types for Dynamic Web Data

      • Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantović
      Pages 263-280
    2. Anonymity Protocols as Noisy Channels

      • Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden
      Pages 281-300
    3. A Framework for Automatically Checking Anonymity with μCRL

      • Tom Chothia, Simona Orzan, Jun Pang, Mohammad Torabi Dashti
      Pages 301-318

Other Volumes

  1. Trustworthy Global Computing

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