Trustworthy global computing : 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers

Trustworthy global computing : 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Symposium on Trustworthy Global Computing, TGC 2012, held in Newcastle upon Tyne, UK, in September 2012. The 9 revised full papers presented together with 3 invited talks were carefully reviewed and se...

Description complète

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Palamidessi Catuscia (Directeur de publication), Ryan Mark D. (Directeur de publication)
Format : Livre
Langue : anglais
Titre complet : Trustworthy global computing : 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers / edited by Catuscia Palamidessi, Mark D. Ryan.
Publié : Berlin, Heidelberg : Springer Berlin Heidelberg , 2013
Cham : Springer Nature
Collection : Theoretical computer science and general issues (Online) ; 8191
Accès en ligne : Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr
Note sur l'URL : Accès sur la plateforme de l'éditeur
Accès sur la plateforme de l'éditeur (Springer)
Accès sur la plateforme Istex
Condition d'utilisation et de reproduction : Conditions particulières de réutilisation pour les bénéficiaires des licences nationales : chttps://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017
Sujets :
Computer Science
Data Encryption
Management of Computing and Information Systems
Algorithm Analysis and Problem Complexity
Computer Communication Networks
Software Engineering
Coding and Information Theory
Cryptology.
Algorithms
IT Operations
Documents associés : Autre format: Trustworthy Global Computing
Autre format: Trustworthy Global Computing
  • From Rational Number Reconstruction to Set Reconciliation and File Synchronization
  • Affine Refinement Types for Authentication and Authorization
  • Seamless Distributed Computing from the Geometry of Interaction
  • A Beginner s Guide to the DeadLock Analysis Model
  • Formal Modeling and Reasoning about the Android Security Framework
  • A Type System for Flexible Role Assignment in Multiparty Communicating Systems
  • A Multiparty Multi-session Logic
  • LTS Semantics for Compensation-Based Processes
  • Linking Unlinkability
  • Towards Quantitative Analysis of Opacity
  • An Algebra for Symbolic Diffie-Hellman Protocol Analysis
  • Security Analysis in Probabilistic Distributed Protocols via Bounded Reachability
  • Modular Reasoning about Differential Privacy in a Probabilistic Process Calculus.