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
Coordonnateurs : Maffei Matteo, Tuosto Emilio
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
Date de parution : 01-2015
Ouvrage de 193 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 42,20 €
Ajouter au panierThèmes de Trustworthy Global Computing :
Mots-clés :
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