Trustworthy Global Computing - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

25

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540786627, 9783540786634

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Replicating Web Services for Scalability

Trustworthy Global Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78663-4_15 ◽

2008 ◽

pp. 204-221 ◽

Author(s):

Mario Bravetti ◽

Stephen Gilmore ◽

Claudio Guidi ◽

Mirco Tribastone

Keyword(s):

Download Full-text

Elimination of Ghost Variables in Program Logics

Trustworthy Global Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78663-4_1 ◽

2008 ◽

pp. 1-20 ◽

Author(s):

Martin Hofmann ◽

Mariela Pavlova

Download Full-text

Application of Dependency Graphs to Security Protocol Analysis

Trustworthy Global Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78663-4_20 ◽

2008 ◽

pp. 294-311 ◽

Author(s):

Ilja Tšahhirov ◽

Peeter Laud

Keyword(s):

Protocol Analysis ◽

Security Protocol ◽

Dependency Graphs

Download Full-text

Transactional Service Level Agreement

Trustworthy Global Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78663-4_10 ◽

2008 ◽

pp. 124-139 ◽

Author(s):

Maria Grazia Buscemi ◽

Hernán Melgratti

Keyword(s):

Service Level Agreement ◽

Download Full-text

Extending Operational Semantics of the Java Bytecode

Trustworthy Global Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78663-4_6 ◽

2008 ◽

pp. 57-72 ◽

Author(s):

Patryk Czarnik ◽

Aleksy Schubert

Keyword(s):

Operational Semantics ◽

Download Full-text

Formal Proofs of Cryptographic Security of Diffie-Hellman-Based Protocols

Trustworthy Global Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78663-4_21 ◽

2008 ◽

pp. 312-329 ◽

Author(s):

Arnab Roy ◽

Anupam Datta ◽

John C. Mitchell

Keyword(s):

Formal Proofs ◽

Diffie Hellman ◽

Cryptographic Security

Download Full-text

Type-Safe Distributed Programming with ML5

Trustworthy Global Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78663-4_9 ◽

2008 ◽

pp. 108-123 ◽

Author(s):

Tom Murphy VII ◽

Karl Crary ◽

Robert Harper

Keyword(s):

Distributed Programming

Download Full-text

Relational Analysis for Delivery of Services

Trustworthy Global Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78663-4_7 ◽

2008 ◽

pp. 73-89 ◽

Author(s):

Flemming Nielson ◽

Hanne Riis Nielson ◽

Jörg Bauer ◽

Christoffer Rosenkilde Nielsen ◽

Henrik Pilegaard

Keyword(s):

Relational Analysis ◽

Delivery Of Services

Download Full-text

Web Service Composition: From Analysis to Autonomy

Trustworthy Global Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78663-4_2 ◽

2008 ◽

pp. 21-21

Author(s):

Jeff Magee

Keyword(s):

Web Service ◽

Service Composition ◽

Web Service Composition

Download Full-text

Location-Aware Quality of Service Measurements for Service-Level Agreements

Trustworthy Global Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-78663-4_16 ◽

2008 ◽

pp. 222-239 ◽

Author(s):

Ashok Argent-Katwala ◽

Jeremy Bradley ◽

Allan Clark ◽

Stephen Gilmore

Keyword(s):

Quality Of Service ◽

Service Level ◽

Service Level Agreements ◽

Download Full-text