TGC 2007:
Sophia-Antipolis,
France
Gilles Barthe, Cédric Fournet (Eds.):
Trustworthy Global Computing, Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers.
Lecture Notes in Computer Science 4912 Springer 2008, ISBN 978-3-540-78662-7 BibTeX
Invited Papers
Accepted Papers
- Benjamin Grégoire, Jorge Luis Sacchini:
Combining a Verification Condition Generator for a Bytecode Language with Static Analyses.
23-40
Electronic Edition (link) BibTeX
- Pierre Crégut:
Extracting Control from Data: User Interfaces of MIDP Applications.
41-56
Electronic Edition (link) BibTeX
- Patryk Czarnik, Aleksy Schubert:
Extending Operational Semantics of the Java Bytecode.
57-72
Electronic Edition (link) BibTeX
- Flemming Nielson, Hanne Riis Nielson, Jörg Bauer, Christoffer Rosenkilde Nielsen, Henrik Pilegaard:
Relational Analysis for Delivery of Services.
73-89
Electronic Edition (link) BibTeX
- Luigi Liquori, Michel Cosnard:
Logical Networks: Towards Foundations for Programmable Overlay Networks and Overlay Computing Systems.
90-107
Electronic Edition (link) BibTeX
- Tom Murphy VII, Karl Crary, Robert Harper:
Type-Safe Distributed Programming with ML5.
108-123
Electronic Edition (link) BibTeX
- Maria Grazia Buscemi, Hernán C. Melgratti:
Transactional Service Level Agreement.
124-139
Electronic Edition (link) BibTeX
- Romain Demangeon, Daniel Hirschkoff, Naoki Kobayashi, Davide Sangiorgi:
On the Complexity of Termination Inference for Processes.
140-155
Electronic Edition (link) BibTeX
- Kurt Dietrich, Martin Pirker, Tobias Vejda, Ronald Toegl, Thomas Winkler, Peter Lipp:
A Practical Approach for Establishing Trust Relationships between Remote Platforms Using Trusted Computing.
156-168
Electronic Edition (link) BibTeX
- Andrew Cirillo, James Riely:
Access Control Based on Code Identity for Open Distributed Systems.
169-185
Electronic Edition (link) BibTeX
- Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Emilio Tuosto:
Service Oriented Architectural Design.
186-203
Electronic Edition (link) BibTeX
- Mario Bravetti, Stephen Gilmore, Claudio Guidi, Mirco Tribastone:
Replicating Web Services for Scalability.
204-221
Electronic Edition (link) BibTeX
- Ashok Argent-Katwala, Jeremy T. Bradley, Allan Clark, Stephen Gilmore:
Location-Aware Quality of Service Measurements for Service-Level Agreements.
222-239
Electronic Edition (link) BibTeX
- Eduardo Bonelli, Adriana B. Compagnoni:
Multipoint Session Types for a Distributed Calculus.
240-256
Electronic Edition (link) BibTeX
- Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Nobuko Yoshida:
On Progress for Structured Communications.
257-275
Electronic Edition (link) BibTeX
- Ricardo Corin, Pierre-Malo Deniélou:
A Protocol Compiler for Secure Sessions in ML.
276-293
Electronic Edition (link) BibTeX
- Ilja Tsahhirov, Peeter Laud:
Application of Dependency Graphs to Security Protocol Analysis.
294-311
Electronic Edition (link) BibTeX
- Arnab Roy, Anupam Datta, John C. Mitchell:
Formal Proofs of Cryptographic Security of Diffie-Hellman-Based Protocols.
312-329
Electronic Edition (link) BibTeX
- Aybek Mukhamedov, Mark Dermot Ryan:
Anonymity Protocol with Identity Escrow and Analysis in the Applied n-Calculus.
330-346
Electronic Edition (link) BibTeX
Tutorial Papers
Copyright © Sat May 16 23:43:45 2009
by Michael Ley (ley@uni-trier.de)
