default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTGC 2005: Edinburgh, UK
- Rocco De Nicola, Davide Sangiorgi:
Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005, Revised Selected Papers. Lecture Notes in Computer Science 3705, Springer 2005, ISBN 3-540-30007-4 - Benjamin C. Pierce:
Harmony: The Art of Reconciliation. 1 - Silvia Crafa, Sabina Rossi:
A Theory of Noninterference for the pi-Calculus. 2-18 - Michele Bugliesi
, Marco Giunti:
Typed Processes in Untyped Contexts. 19-32 - Dean Rosenzweig, Davor Runje, Wolfram Schulte:
Model-Based Testing of Cryptographic Protocols. 33-60 - Michele Boreale, Maria Grazia Buscemi, Ugo Montanari:
A General Name Binding Mechanism. 61-74 - Adriana B. Compagnoni, Elsa L. Gunter:
Types for Security in a Mobile World. 75-97 - Francisco Martins, Vasco Thudichum Vasconcelos:
History-Based Access Control for Distributed Processes. 98-115 - Joshua D. Guttman, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen:
Programming Cryptographic Protocols. 116-145 - Konstantinos Chatzikokolakis, Catuscia Palamidessi:
A Framework for Analyzing Probabilistic Protocols and Its Application to the Partial Secrets Exchange. 146-162 - Sébastien Briais, Uwe Nestmann:
A Formal Semantics for Protocol Narrations. 163-181 - Cosimo Laneve, Gianluigi Zavattaro:
web-pi at Work. 182-194 - Mark S. Miller, Eric Dean Tribble, Jonathan S. Shapiro:
Concurrency Among Strangers. 195-229 - William Simmonds, Tim Hawkins:
The Modelling and Analysis of OceanStore Elements Using the CSP Dependability Library. 230-247 - Fred Spiessens, Peter Van Roy:
A Practical Formal Model for Safety Analysis in Capability-Based Systems. 248-278 - Davide Ancona, Sonia Fagorzi, Elena Zucca:
Mixin Modules for Dynamic Rebinding. 279-298 - Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alexander Joseph Ahern, Sophia Drossopoulou:
A Distributed Object-Oriented Language with Session Types. 299-318 - James Skene, Wolfgang Emmerich:
Engineering Runtime Requirements-Monitoring Systems Using MDA Technologies. 319-333 - Mikael Buchholtz:
Automated Analysis of Infinite Scenarios. 334-352 - L. Gregory Meredith, Matthias Radestock:
Namespace Logic: A Logic for a Reflective Higher-Order Calculus. 353-369
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 2026-03-20 00:31 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:
