dblp.uni-trier.de www.uni-trier.de

13. CSFW 2000: Cambridge, England, UK

Proceedings of the 13th IEEE Computer Security Foundations Workshop (CSFW'00), 3-5 July 2000, Cambridge, England, UK. IEEE Computer Society, 2000, online publication: http://computer.org/proceedings/csfw/0671/0671toc.htm

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

Copyright © Sat May 16 23:04:11 2009 by Michael Ley (ley@uni-trier.de)