Trustworthy Global Computing - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

36
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer International Publishing

9783319051185, 9783319051192
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals A Library for Removing Cache-Based Attacks in Concurrent Information Flow Systems

2014 ◽  
pp. 199-216 ◽  
Author(s):  
Pablo Buiras ◽  
Amit Levy ◽  
Deian Stefan ◽  
Alejandro Russo ◽  
David Mazières
Keyword(s):  
Information Flow ◽  
Flow Systems ◽  
Concurrent Information

scholarly journals A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract)

2014 ◽  
pp. 103-118 ◽  
Author(s):  
Johannes Borgström ◽  
Ramūnas Gutkovas ◽  
Joachim Parrow ◽  
Björn Victor ◽  
Johannes Åman Pohjola
Keyword(s):  
Semantic Framework ◽  
Process Calculi

The Scribble Protocol Language

2014 ◽  
pp. 22-41 ◽  
Author(s):  
Nobuko Yoshida ◽  
Raymond Hu ◽  
Rumyana Neykova ◽  
Nicholas Ng
Load More ...
Sign in / Sign up

Export Citation Format

Share Document