Trustworthy Global Computing: 7th International Symposium, Tgc 2012, Newcastle Upon Tyne, Uk, September 7-8, 2012, Revised Selected Papers

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.

• Format: Paperback
• Language: English
• ISBN: 3642411568
• ISBN13: 9783642411564
• Release Date: September 2013
• Publisher: Springer
• Length: 213 Pages
• Weight: 0.70 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"