Trustworthy Global Computing - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319287652, 9783319287669

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Switch, in Time

Trustworthy Global Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-28766-9_9 ◽

2016 ◽

pp. 131-146

Author(s):

Lenore D. Zuck ◽

Sanjiva Prasad

Download Full-text

Hybrid Typing of Secure Information Flow in a JavaScript-Like Language

Trustworthy Global Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-28766-9_5 ◽

2016 ◽

pp. 63-78 ◽

Cited By ~ 2

Author(s):

José Fragoso Santos ◽

Thomas Jensen ◽

Tamara Rezk ◽

Alan Schmitt

Keyword(s):

Information Flow ◽

Secure Information

Download Full-text

Fault Ascription in Concurrent Systems

Trustworthy Global Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-28766-9_6 ◽

2016 ◽

pp. 79-94 ◽

Cited By ~ 3

Author(s):

Gregor Gössler ◽

Jean-Bernard Stefani

Keyword(s):

Concurrent Systems

Download Full-text

Verification of Component-Based Systems via Predicate Abstraction and Simultaneous Set Reduction

Trustworthy Global Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-28766-9_10 ◽

2016 ◽

pp. 147-162 ◽

Cited By ~ 2

Author(s):

Wang Qiang ◽

Simon Bliudze

Keyword(s):

Predicate Abstraction

Download Full-text

Modular Monitor Extensions for Information Flow Security in JavaScript

Trustworthy Global Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-28766-9_4 ◽

2016 ◽

pp. 47-62

Author(s):

José Fragoso Santos ◽

Tamara Rezk ◽

Ana Almeida Matos

Keyword(s):

Information Flow ◽

Information Flow Security

Download Full-text

Disjunctive Information Flow for Communicating Processes

Trustworthy Global Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-28766-9_7 ◽

2016 ◽

pp. 95-111 ◽

Cited By ~ 3

Author(s):

Ximeng Li ◽

Flemming Nielson ◽

Hanne Riis Nielson ◽

Xinyu Feng

Keyword(s):

Information Flow ◽

Communicating Processes

Download Full-text

Near-Optimal Scheduling for LTL with Future Discounting

Trustworthy Global Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-28766-9_8 ◽

2016 ◽

pp. 112-130 ◽

Cited By ~ 2

Author(s):

Shota Nakagawa ◽

Ichiro Hasuo

Keyword(s):

Optimal Scheduling ◽

Future Discounting

Download Full-text

Multiparty Testing Preorders

Trustworthy Global Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-28766-9_2 ◽

2016 ◽

pp. 16-31 ◽

Cited By ~ 1

Author(s):

Rocco De Nicola ◽

Hernán Melgratti

Download Full-text

Data Tracking in Parameterized Systems

Trustworthy Global Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-28766-9_3 ◽

2016 ◽

pp. 32-46

Author(s):

Giorgio Delzanno

Keyword(s):

Parameterized Systems ◽

Data Tracking

Download Full-text

Secure Two-Party Computation in Applied Pi-Calculus: Models and Verification

Trustworthy Global Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-28766-9_1 ◽

2016 ◽

pp. 1-15

Author(s):

Sergiu Bursuc

Keyword(s):

Pi Calculus

Download Full-text

Trustworthy Global Computing - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

A Switch, in Time

Hybrid Typing of Secure Information Flow in a JavaScript-Like Language

Fault Ascription in Concurrent Systems

Verification of Component-Based Systems via Predicate Abstraction and Simultaneous Set Reduction

Modular Monitor Extensions for Information Flow Security in JavaScript

Disjunctive Information Flow for Communicating Processes

Near-Optimal Scheduling for LTL with Future Discounting

Multiparty Testing Preorders

Data Tracking in Parameterized Systems

Secure Two-Party Computation in Applied Pi-Calculus: Models and Verification

Trustworthy Global Computing - Lecture Notes in Computer Science
Latest Publications