13th CSFW 2000: Cambridge, England, UK

Names and Certificates

Strands and Multiset Rewriting

Automated Security Protocol Methods


Network Security

Invariants, Induction, Ranks, Languages, and Ideals

Noninterference and Information Flow

Invited Talk

Java and Mobile Code Security

Types and Language-Based Security

a service of Schloss Dagstuhl - Leibniz Center for Informatics