Limit search to available items
Book Cover
E-book
Author TGC 2007 (2007 : Sophia-Antipolis, France)

Title Trustworthy global computing : third symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007 : revised selected papers / Gilles Barthe, Cédric Fournet (eds.)
Published Berlin ; New York : Springer, ©2008

Copies

Description 1 online resource (xi, 400 pages) : illustrations
Series Lecture notes in computer science ; 4912
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Lecture notes in computer science ; 4912.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Contents Trustworthy Global Computing -- Elimination of Ghost Variables in Program Logics -- Web Service Composition: From Analysis to Autonomy -- Service Combinators for Farming Virtual Machines -- Accepted Papers -- Combining a Verification Condition Generator for a Bytecode Language with Static Analyses -- Extracting Control from Data: User Interfaces of MIDP Applications -- Extending Operational Semantics of the Java Bytecode -- Relational Analysis for Delivery of Services -- Logical Networks: Towards Foundations for Programmable Overlay Networks and Overlay Computing Systems -- Type-Safe Distributed Programming with ML5 -- Transactional Service Level Agreement -- On the Complexity of Termination Inference for Processes -- A Practical Approach for Establishing Trust Relationships between Remote Platforms Using Trusted Computing -- Access Control Based on Code Identity for Open Distributed Systems -- Service Oriented Architectural Design -- Replicating Web Services for Scalability -- Location-Aware Quality of Service Measurements for Service-Level Agreements -- Multipoint Session Types for a Distributed Calculus -- On Progress for Structured Communications -- A Protocol Compiler for Secure Sessions in ML -- Application of Dependency Graphs to Security Protocol Analysis -- Formal Proofs of Cryptographic Security of Diffie-Hellman-Based Protocols -- Anonymity Protocol with Identity Escrow and Analysis in the Applied?-Calculus -- Tutorial Papers -- Formal Approaches to Information-Hiding (Tutorial) -- Computational Soundness of Equational Theories (Tutorial) -- Adversaries and Information Leaks (Tutorial)
Summary "This book constitutes the thoroughly refereed post-conference proceedings of the Third Symposium on Trustworthy Global Computing, TGC 2007; it moreover contains tutorials from the adjacent Workshop on the Interplay of Programming Languages and Cryptography, both held in Sophia-Antipolis, France, in November 2007." "The 19 revised papers presented together with 3 invited papers were carefully selected from 48 submissions during two rounds of reviewing and improvement. The TGC 2007 symposium papers focus on providing tools and frameworks for constructing well-behaved applications and for reasoning about their behavior and properties in models of computation that incorporate code and data mobility over distributed networks with highly dynamic topologies and heterogeneous devices. The volume concludes with 3 tutorial papers, presented at the co-located Workshop on the Interplay of Programming Languages and Cryptography."--Jacket
Analysis programmeren
programming
computerwetenschappen
computer sciences
computernetwerken
computer networks
programmeertalen
programming languages
software engineering
gegevensbeheer
data management
Information and Communication Technology (General)
Informatie- en communicatietechnologie (algemeen)
Bibliography Includes bibliographical references and index
Notes English
Print version record
In OhioLINK electronic book center
SpringerLink
Subject Computer security -- Congresses
Computer networks -- Security measures -- Congresses
Computer software -- Validation -- Congresses
Computer software -- Verification -- Congresses
Informatique.
Computer networks -- Security measures
Computer security
Computer software -- Validation
Computer software -- Verification
Genre/Form proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author Barthe, Gilles, 1967-
Fournet, Cédric
LC no. 2008922366
ISBN 9783540786634
3540786635
9783540786627
3540786627