Trustworthy Global Computing  9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers /  [electronic resource] : 
edited by Matteo Maffei, Emilio Tuosto. 
 - Berlin, Heidelberg :  Springer Berlin Heidelberg,  2014. 
 - 1 online resource (XV, 193 p. 50 ill.) 
 - Lecture Notes in Computer Science,  8902  0302-9743 ; .
<br/><br/>Generalized bisimulation metrics (Abstract) -- Electronic voting: how to ensure privacy and verifiability -- A Secure Information Flow Monitor for a Core of DOM - Introducing References and Live Primitives -- Finding a Forest in a Tree -- Automata for Analyzing Service Contracts -- On duality relations for session types -- Characterizing Testing Preorders for Broadcasting Distributed Systems -- Tests for establishing security properties -- A class of automata for the verification of infinite, resource-allocating Behaviours -- Multiparty Session Nets -- Interaction and causality in digital signature exchange protocols -- Session Types with Gradual Typing -- Corecursion and Non-Divergence in Session-Typed Processes -- Trust-based Enforcement of Security Policies. 
<br/><br/><label>ISBN: </label>9783662459171 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Computer organization.<br/>Computer security.<br/>Mathematical logic.