13. CSFW 2000: Cambridge, England, UK

Names and Certificates

Strands and Multiset Rewriting

Automated Security Protocol Methods

Panel

Network Security

Invariants, Induction, Ranks, Languages, and Ideals

Noninterference and Information Flow

Invited Talk

Java and Mobile Code Security

Types and Language-Based Security