default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTGC 2013: Buenos Aires, Argentina
- Martín Abadi, Alberto Lluch-Lafuente
:
Trustworthy Global Computing - 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8358, Springer 2014, ISBN 978-3-319-05118-5
Invited Papers
- Luca de Alfaro, B. Thomas Adler:
Content-Driven Reputation for Collaborative Systems. 3-13 - Jane Hillston:
Challenges for Quantitative Analysis of Collective Adaptive Systems. 14-21 - Nobuko Yoshida, Raymond Hu, Rumyana Neykova, Nicholas Ng:
The Scribble Protocol Language. 22-41
Security
- Shiwei Xu, Ian Batten, Mark Ryan:
Dynamic Measurement and Protected Execution: Model and Analysis. 45-63 - Dominic Duggan, Ye Wu:
Security Correctness for Secure Nested Transactions - Extended Abstract. 64-79
pi-Calculus
- Hans Hüttel:
Types for Resources in ψ-calculi. 83-102 - Johannes Borgström, Ramunas Gutkovas, Joachim Parrow, Björn Victor, Johannes Åman Pohjola:
A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract). 103-118 - Neda Saeedloei, Gopal Gupta:
Timed π-Calculus. 119-135 - Marco Giunti, António Ravara:
Towards Static Deadlock Resolution in the π-Calculus. 136-155
Information Flow
- Pejman Attar, Ilaria Castellani:
Fine-Grained and Coarse-Grained Reactive Noninterference. 159-179 - Luísa Lourenço, Luís Caires:
Information Flow Analysis for Valued-Indexed Data Security Compartments. 180-198 - Pablo Buiras, Amit Levy, Deian Stefan, Alejandro Russo, David Mazières:
A Library for Removing Cache-Based Attacks in Concurrent Information Flow Systems. 199-216
Models, Specifications, and Proofs
- Serge Haddad, Rolf Hennicker, Mikael H. Møller:
Specification of Asynchronous Component Systems with Modal I/O-Petri Nets. 219-234 - Andrea Corradini, Leila Ribeiro, Fernando Luís Dotti, Odorico Machado Mendizabal:
A Formal Model for the Deferred Update Replication Technique. 235-253 - Gustavo Petri:
Studying Operational Models of Relaxed Concurrency. 254-272 - Martin Nordio, Cristiano Calcagno, Bertrand Meyer:
Certificates and Separation Logic. 273-293
Quantitative Analysis
- Diego Latella, Michele Loreti, Mieke Massink:
On-the-fly Fast Mean-Field Model-Checking. 297-314 - Marco Bernardo, Rocco De Nicola, Michele Loreti:
Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations. 315-330
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.
last updated on 2024-11-15 19:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
