![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
TGC 2012: Newcastle upon Tyne, UK
- Catuscia Palamidessi
, Mark Dermot Ryan
:
Trustworthy Global Computing - 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers. Lecture Notes in Computer Science 8191, Springer 2013, ISBN 978-3-642-41156-4 - Antoine Amarilli
, Fabrice Ben Hamouda, Florian Bourse, Robin Morisset, David Naccache, Pablo Rauzy
:
From Rational Number Reconstruction to Set Reconciliation and File Synchronization. 1-18 - Michele Bugliesi, Stefano Calzavara
, Fabienne Eigner, Matteo Maffei:
Affine Refinement Types for Authentication and Authorization. 19-33 - Olle Fredriksson, Dan R. Ghica:
Seamless Distributed Computing from the Geometry of Interaction. 34-48 - Elena Giachino
, Cosimo Laneve
:
A Beginner's Guide to the DeadLock Analysis Model. 49-63 - Alessandro Armando
, Gabriele Costa
, Alessio Merlo:
Formal Modeling and Reasoning about the Android Security Framework. 64-81 - Pedro Baltazar, Luís Caires, Vasco T. Vasconcelos
, Hugo Torres Vieira:
A Type System for Flexible Role Assignment in Multiparty Communicating Systems. 82-96 - Laura Bocchi, Romain Demangeon, Nobuko Yoshida
:
A Multiparty Multi-session Logic. 97-111 - Roberto Bruni, Anne Kersten Kauer:
LTS Semantics for Compensation-Based Processes. 112-128 - Mayla Brusò, Konstantinos Chatzikokolakis, Sandro Etalle, Jerry den Hartog:
Linking Unlinkability. 129-144 - Jeremy W. Bryans
, Maciej Koutny, Chunyan Mu:
Towards Quantitative Analysis of Opacity. 145-163 - Daniel J. Dougherty, Joshua D. Guttman:
An Algebra for Symbolic Diffie-Hellman Protocol Analysis. 164-181 - Silvia S. Pelozo, Pedro R. D'Argenio
:
Security Analysis in Probabilistic Distributed Protocols via Bounded Reachability. 182-197 - Lili Xu:
Modular Reasoning about Differential Privacy in a Probabilistic Process Calculus. 198-212
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.