简介
This book constitutes the thoroughly refereed post-proceedings of the Second Symposium on Trustworthy Global Computing, TGC 2006, held in Lucca, Italy, in November 2006. The 14 revised papers presented together with 2 keynote lectures were carefully reviewed and selected from 32 submissions. The papers are organized in topical sections on types to discipline interactions, calculi for distributed systems, flexible modeling, algorithms and systems for global computing, as well as security, anonymity and type safety. The book starts off with activity reviews of four FP6 programmes of the European Union: Aeolus, Mobius, Sensoria, and Catnets.
目录
FP6 Project Overviews
Project AEOLUS: An Overview Christos Kaklamanis p. 1
MOBIUS: Mobility, Ubiquity, Security Gilles Barthe and Lennart Beringer and Pierre Cregut and Benjamin Gregoire and Martin Hofmann and Peter Muller and Erik Poll and German Puebla and Ian Stark and Eric Vetillard p. 10
Sensoria Process Calculi for Service-Oriented Computing Martin Wirsing and Rocco De Nicola and Stephen Gilmore and Matthias Holzl and Roberto Lucchi and Mirco Tribastone and Gianlugi Zavattaro p. 30
Global Grids - Making a Case for Self-organization in Large-Scale Overlay Networks Torsten Eymann and Werner Streitberger and Sebastian Hudert p. 51
Keynote Speakers
Software of the Future Is the Future of Software? Paola Inverardi p. 69
An Algorithmic Theory of Mobile Agents Evangelos Kranakis and Danny Krizanc p. 86
Types to Discipline Interactions
Spatial-Behavioral Types, Distributed Services, and Resources Luis Caires p. 98
Integration of a Security Type System into a Program Logic Reiner Hahnle and Jing Pan and Philipp Rummer and Dennis Walter p. 116
Calculi for Distributed Systems
PRISMA: A Mobile Calculus with Parametric Synchronization Roberto Bruni and Ivan Lanese p. 132
On Bisimulation Proofs for the Analysis of Distributed Abstract Machines Damien Pous p. 150
A Typed Calculus for Querying Distributed XML Documents Lucia Acciai and Michele Boreale and Silvano Dal Zilio p. 167
Flexible Modeling
Verification of Model Transformations: A Case Study with BPEL Luciano Baresi and Karsten Ehrig and Reiko Heckel p. 183
A Fuzzy Approach for Negotiating Quality of Services Davide Bacciu and Alessio Botta and Hernan Melgratti p. 200
Algorithms and Systems for Global Computing
Scheduling to Maximize Participation Ioannis Caragiannis and Christos Kaklamanis and Panagiotis Kanellopoulos and Evi Papaioannou p. 218
On the Limits of Cache-Oblivious Matrix Transposition Francesco Silvestri p. 233
The KOA Remote Voting System: A Summary of Work to Date Joseph R. Kiniry and Alan E. Morkan and Dermot Cochran and Fintan Fairmichael and Patrice Chalin and Martijn Oostdijk and Engelbert Hubbers p. 244
Security, Anonymity and Type Safety
Security Types for Dynamic Web Data Mariangiola Dezani-Ciancaglini and Silvia Ghilezan and Jovanka Pantovic p. 263
Anonymity Protocols as Noisy Channels Konstantinos Chatzikokolakis and Catuscia Palamidessi and Prakash Panangaden p. 281
A Framework for Automatically Checking Anonymity with [mu]CRL Tom Chothia and Simona Orzan and Jun Pang and Mohammad Torabi Dashti p. 301
A Framework for Type Safe Exchange of Mobile Code Sonia Fagorzi and Elena Zucca p. 319
Author Index p. 339
Project AEOLUS: An Overview Christos Kaklamanis p. 1
MOBIUS: Mobility, Ubiquity, Security Gilles Barthe and Lennart Beringer and Pierre Cregut and Benjamin Gregoire and Martin Hofmann and Peter Muller and Erik Poll and German Puebla and Ian Stark and Eric Vetillard p. 10
Sensoria Process Calculi for Service-Oriented Computing Martin Wirsing and Rocco De Nicola and Stephen Gilmore and Matthias Holzl and Roberto Lucchi and Mirco Tribastone and Gianlugi Zavattaro p. 30
Global Grids - Making a Case for Self-organization in Large-Scale Overlay Networks Torsten Eymann and Werner Streitberger and Sebastian Hudert p. 51
Keynote Speakers
Software of the Future Is the Future of Software? Paola Inverardi p. 69
An Algorithmic Theory of Mobile Agents Evangelos Kranakis and Danny Krizanc p. 86
Types to Discipline Interactions
Spatial-Behavioral Types, Distributed Services, and Resources Luis Caires p. 98
Integration of a Security Type System into a Program Logic Reiner Hahnle and Jing Pan and Philipp Rummer and Dennis Walter p. 116
Calculi for Distributed Systems
PRISMA: A Mobile Calculus with Parametric Synchronization Roberto Bruni and Ivan Lanese p. 132
On Bisimulation Proofs for the Analysis of Distributed Abstract Machines Damien Pous p. 150
A Typed Calculus for Querying Distributed XML Documents Lucia Acciai and Michele Boreale and Silvano Dal Zilio p. 167
Flexible Modeling
Verification of Model Transformations: A Case Study with BPEL Luciano Baresi and Karsten Ehrig and Reiko Heckel p. 183
A Fuzzy Approach for Negotiating Quality of Services Davide Bacciu and Alessio Botta and Hernan Melgratti p. 200
Algorithms and Systems for Global Computing
Scheduling to Maximize Participation Ioannis Caragiannis and Christos Kaklamanis and Panagiotis Kanellopoulos and Evi Papaioannou p. 218
On the Limits of Cache-Oblivious Matrix Transposition Francesco Silvestri p. 233
The KOA Remote Voting System: A Summary of Work to Date Joseph R. Kiniry and Alan E. Morkan and Dermot Cochran and Fintan Fairmichael and Patrice Chalin and Martijn Oostdijk and Engelbert Hubbers p. 244
Security, Anonymity and Type Safety
Security Types for Dynamic Web Data Mariangiola Dezani-Ciancaglini and Silvia Ghilezan and Jovanka Pantovic p. 263
Anonymity Protocols as Noisy Channels Konstantinos Chatzikokolakis and Catuscia Palamidessi and Prakash Panangaden p. 281
A Framework for Automatically Checking Anonymity with [mu]CRL Tom Chothia and Simona Orzan and Jun Pang and Mohammad Torabi Dashti p. 301
A Framework for Type Safe Exchange of Mobile Code Sonia Fagorzi and Elena Zucca p. 319
Author Index p. 339
- 名称
- 类型
- 大小
光盘服务联系方式: 020-38250260 客服QQ：4006604884
云图客服：
用户发送的提问，这种方式就需要有位在线客服来回答用户的问题，这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问
Video Player
×
Audio Player
×
pdf Player
×
