TGC 2005:
Edinburgh,
UK
Rocco De Nicola, Davide Sangiorgi (Eds.):
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 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
Copyright © Tue Feb 9 19:37:57 2010
by Michael Ley (ley@uni-trier.de)