Skip to main content

International Journal of Information Security

Ausgabe 1/2004

Special issue on ESORICS 2002

Inhalt (5 Artikel)

Regular contribution

Preface

Michael Waidner

Regular contribution

Analysing a stream authentication protocol using model checking

Philippa Hopcroft, Gavin Lowe

Regular contribution

Computational probabilistic noninterference

Michael Backes, Birgit Pfitzmann

Premium Partner