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
- Adrian Perrig, Dawn Song:
Looking for Diamonds in the Desert - Extending Automatic Protocol Generation to Three-Party Authentication and Key Agreement Protocols.
64-76

- Anthony H. Dekker:
C3PO: A Tool for Automatic Sound Cryptographic Protocol Analysis.
77-87

- Luigia Carlucci Aiello, Fabio Massacci:
An Executable Specification Language for Planning Attacks to Security Protocols.
88-102

Panel
Network Security
Invariants, Induction, Ranks, Languages, and Ideals
- James Heather, Steve Schneider:
Towards Automatic Verification of Authentication Protocols on an Unbounded Network.
132-143

- Ernie Cohen:
TAPS: A First-Order Verifier for Cryptographic Protocols.
144-158

- Catherine Meadows:
Invariant Generation Techniques in Cryptographic Protocol Analysis.
159-167

Noninterference and Information Flow
Invited Talk
Java and Mobile Code Security
Types and Language-Based Security
Last update Tue May 21 16:27:20 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page