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...
Na minha lista:
| Autor principal: | |
|---|---|
| Outros Autores: | |
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado em: |
Berlin, Heidelberg :
Springer Berlin Heidelberg
2013.
Cham : Springer Nature |
| Colecção: | Theoretical Computer Science and General Issues
8191 |
| Acesso em linha: | Accès sur la plateforme de l'éditeur Accès sur la plateforme de l'éditeur (Springer) Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Trustworthy Global Computing, Texte imprimé, 9783642411564 • Trustworthy Global Computing, Texte imprimé, 9783642411588 |
Sumário:
- 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.