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

Ninghui Li:
Local Names in SPKI/SDSI. 2-15
Electronic Edition (IEEE Computer Society DL) BibTeX
Jonathan K. Millen, Rebecca N. Wright:
Reasoning about Trust and Insurance in a Public Key Infrastructure. 16-22
Electronic Edition (IEEE Computer Society DL) BibTeX

Strands and Multiset Rewriting

Joshua D. Guttman, F. Javier Thayer:
Protocol Independence through Disjoint Encryption. 24-34
Electronic Edition (IEEE Computer Society DL) BibTeX
Iliano Cervesato, Nancy A. Durgin, John C. Mitchell, Patrick Lincoln, Andre Scedrov:
Relating Strands and Multiset Rewriting for Security Protocol Analysis. 35-51
Electronic Edition (IEEE Computer Society DL) BibTeX
Grit Denker, Jonathan K. Millen, Antonio Grau, Juliana Küster Filipe:
Optimizing Protocol Rewrite Rules of CIL Specifications. 52-62
Electronic Edition (IEEE Computer Society DL) BibTeX

Automated Security Protocol Methods

Adrian Perrig, D. Song:
Looking for Diamonds in the Desert - Extending Automatic Protocol Generation to Three-Party Authentication and Key Agreement Protocols. 64-76
Electronic Edition (IEEE Computer Society DL) BibTeX
Anthony H. Dekker:
C3PO: A Tool for Automatic Sound Cryptographic Protocol Analysis. 77-87
Electronic Edition (IEEE Computer Society DL) BibTeX
Luigia Carlucci Aiello, Fabio Massacci:
An Executable Specification Language for Planning Attacks to Security Protocols. 88-102
Electronic Edition (IEEE Computer Society DL) BibTeX

Panel

Teresa F. Lunt:
Foundations for Intrusion Detection?. 104-106
Electronic Edition (IEEE Computer Society DL) BibTeX

Network Security

Tuomas Aura, Matt Bishop, Dean Sniegowski:
Analyzing Single-Server Network Inhibition. 108-117
Electronic Edition (IEEE Computer Society DL) BibTeX
Pankaj Kakkar, Carl A. Gunter, Martín Abadi:
Reasoning about Secrecy for Active Networks. 118-129
Electronic Edition (IEEE Computer Society DL) BibTeX

Invariants, Induction, Ranks, Languages, and Ideals

James Heather, Steve Schneider:
Towards Automatic Verification of Authentication Protocols on an Unbounded Network. 132-143
Electronic Edition (IEEE Computer Society DL) BibTeX
Ernie Cohen:
TAPS: A First-Order Verifier for Cryptographic Protocols. 144-158
Electronic Edition (IEEE Computer Society DL) BibTeX
Catherine Meadows:
Invariant Generation Techniques in Cryptographic Protocol Analysis. 159-167
Electronic Edition (IEEE Computer Society DL) BibTeX

Noninterference and Information Flow

Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli:
Information Flow Analysis in a Discrete-Time Process Algebra. 170-184
Electronic Edition (IEEE Computer Society DL) BibTeX
Heiko Mantel:
Possibilistic Definitions of Security - An Assembly Kit. 185-199
Electronic Edition (IEEE Computer Society DL) BibTeX
Andrei Sabelfeld, David Sands:
Probabilistic Noninterference for Multi-Threaded Programs. 200-214
Electronic Edition (IEEE Computer Society DL) BibTeX

Invited Talk

Anthony E. Sale:
Lorenz and Colossus. 216-222
Electronic Edition (IEEE Computer Society DL) BibTeX

Java and Mobile Code Security

Günter Karjoth:
An Operational Semantics of Java 2 Access Control. 224-232
Electronic Edition (IEEE Computer Society DL) BibTeX
Mads Dam, Pablo Giambiagi:
Confidentiality for Mobile Code: The Case of a Simple Payment Protocol. 233-244
Electronic Edition (IEEE Computer Society DL) BibTeX

Types and Language-Based Security

Dennis M. Volpano:
Secure Introduction of One-Way Functions. 246-254
Electronic Edition (IEEE Computer Society DL) BibTeX
James Heather, Gavin Lowe, Steve Schneider:
How to Prevent Type Flaw Attacks on Security Protocols. 255-268
Electronic Edition (IEEE Computer Society DL) BibTeX
Peter Sewell, Jan Vitek:
Secure Composition of Untrusted Code: Wrappers and Causality Types. 269-284
Electronic Edition (IEEE Computer Society DL) BibTeX