Volume 2, Number 1, November 2003
Volume 2, Number 2, January 2004
Volume 2, Number 3-4, August 2004
- Corrado Priami:
Preface to the special issue on Security in global computing.
125

- David Teller, Pascal Zimmer, Daniel Hirschkoff:
Using ambients to control resources.
126-144

- Mikael Buchholtz, Hanne Riis Nielson, Flemming Nielson:
A calculus for control flow analysis of security protocols.
145-167

- Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci:
Automated analysis of timed security: a case study on web privacy.
168-186

- Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari:
Stack inspection and secure program transformations.
187-217

- Philip D. MacKenzie, Michael K. Reiter:
Two-party generation of DSA signatures.
218-239

Last update Thu May 23 18:56:01 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page