dblp.uni-trier.de www.uni-trier.de

11. CSFW 1998: Rockport, Massachusetts, USA

Proceedings of the 11th IEEE Computer Security Foundations Workshop, 9-11 June, 1998, Rockport, Massachusetts, USA. IEEE Computer Society, 1998, online publication: http: //computer.org/proceedings/csfw/8488/8488toc.htm

Distributed Services

Noninterference

Protocol Verification

Panel

Protocol Model Checking

Composition

Protocol Logics

Panel

Database and Intrusion Detection

Copyright © Mon Nov 2 20:27:24 2009 by Michael Ley (ley@uni-trier.de)