1. Preface to the special issue on Security in global computing

   • Corrado Priami

   Regular contribution 01 August 2004 Pages: 125 - 125

2. Using ambients to control resources

   • David Teller
   • Pascal Zimmer
   • Daniel Hirschkoff

   OriginalPaper 01 August 2004 Pages: 126 - 144

3. A calculus for control flow analysis of security protocols

   • Mikael Buchholtz
   • Hanne Riis Nielson
   • Flemming Nielson

   OriginalPaper 01 August 2004 Pages: 145 - 167

4. Automated analysis of timed security: a case study on web privacy

   • Roberto Gorrieri
   • Ruggero Lanotte
   • Enrico Tronci

   Regular contribution 01 August 2004 Pages: 168 - 186

5. Stack inspection and secure program transformations

   • Massimo Bartoletti
   • Pierpaolo Degano
   • Gian Luigi Ferrari

   Regular contribution 01 August 2004 Pages: 187 - 217

6. Two-party generation of DSA signatures

   • Philip MacKenzie
   • Michael K. Reiter

   Regular contribution 01 August 2004 Pages: 218 - 239