11. CSFW 1998: Rockport, Massachusetts, USA

Distributed Services

Noninterference

Protocol Verification

Panel

Protocol Model Checking

Composition

Protocol Logics

Panel

Database and Intrusion Detection