1. Preface

   • Michael Waidner

   Regular contribution 01 October 2004 Pages: 1 - 1

2. Analysing a stream authentication protocol using model checking

   • Philippa Hopcroft
   • Gavin Lowe

   Regular contribution 01 October 2004 Pages: 2 - 13

3. Controlled query evaluation for enforcing confidentiality in complete information systems

   • Joachim Biskup
   • Piero Bonatti

   Regular contribution 01 October 2004 Pages: 14 - 27

4. Outbound authentication for programmable secure coprocessors

   • Sean W. Smith

   Regular contribution 01 October 2004 Pages: 28 - 41

5. Computational probabilistic noninterference

   • Michael Backes
   • Birgit Pfitzmann

   Regular contribution 01 October 2004 Pages: 42 - 60