13th CSFW 2000: Cambridge, England, UK

Refine list

showing all ?? records

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