13. 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

maintained by Schloss Dagstuhl LZI at University of Trier