Description
Trustworthy Global Computing, 2014
9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers
Theoretical Computer Science and General Issues Series
Coordinators: Maffei Matteo, Tuosto Emilio
Language: EnglishSubjects for Trustworthy Global Computing:
Keywords
Abstraction mechanisms; Algorithms; Autonomic systems; Cloud computing; Global computing; Information flow policies; Language concepts; Languages; Model checking; Models; Privacy; Reliability; Resource usage; Security; Service-oriented architectures; Software development; Software principles; Static analyzers & Trust; Theorem proving; Verification
193 p. · 15.5x23.5 cm · Paperback
Description
/li>Contents
/li>Comment
/li>
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.
Includes supplementary material: sn.pub/extras