12. CSFW 1999: Mordano, Italy

Proceedings of the 12th IEEE Computer Security Foundations Workshop (CSFW 1999), 28-30 June, 1999, Mordano, Italy. IEEE Computer Society, 1999, online publication: http://computer.org/proceedings/csfw/0201/0201toc.htm

Formal Models

Catherine Meadows:
A Formal Framework and Evaluation Method for Network Denial of Service. 4-13
Electronic Edition (IEEE Computer Society DL) BibTeX
Nancy A. Lynch:
I/O Automaton Models and Proofs for Shared-Key Communication Systems. 14-29
Electronic Edition (IEEE Computer Society DL) BibTeX

Security Protocol Analysis: Notation, Transformation, and Simplification

Mei Lin Hui, Gavin Lowe:
Safe Simplifying Transformations for Security Protocols. 32-43
Electronic Edition (IEEE Computer Society DL) BibTeX
David Monniaux:
Decision Procedures for the Analysis of Cryptographic Protocols by Logics of Belief. 44-54
Electronic Edition (IEEE Computer Society DL) BibTeX
Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov:
A Meta-Notation for Protocol Analysis. 55-69
Electronic Edition (IEEE Computer Society DL) BibTeX

Strand Spaces

F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman:
Mixed Strand Spaces. 72-82
Electronic Edition (IEEE Computer Society DL) BibTeX
Alfred P. Maneki:
Honest Functions and their Application to the Analysis of Cryptographic Protocols. 83-89
Electronic Edition (IEEE Computer Society DL) BibTeX

Panel: Formalization and Proof of Secrecy Properties

Dennis M. Volpano:
Formalization and Proof of Secrecy Properties. 92-95
Electronic Edition (IEEE Computer Society DL) BibTeX

Local Names

Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Corrado Priami:
Authentication via Localized Names. 98-110
Electronic Edition (IEEE Computer Society DL) BibTeX
Joseph Y. Halpern, Ron van der Meyden:
A Logic for SDSI's Linked Local Name Spaces. 111-122
Electronic Edition (IEEE Computer Society DL) BibTeX

Interaction and Composition

Colin O'Halloran:
Trusted System Construction. 124-135
Electronic Edition (IEEE Computer Society DL) BibTeX
Peter Sewell, Jan Vitek:
Secure Composition of Insecure Components. 136-150
Electronic Edition (IEEE Computer Society DL) BibTeX
Pierre Bieber:
Security Function Interactions. 151-160
Electronic Edition (IEEE Computer Society DL) BibTeX

Logics for Authorization and Access Control

Ninghui Li, Joan Feigenbaum, Benjamin N. Grosof:
A Logic-based Knowledge Representation for Authorization with Delegation. 162-174
Electronic Edition (IEEE Computer Society DL) BibTeX
Elisa Bertino, Elena Ferrari, Francesco Buccafurri, Pasquale Rullo:
A Logical Framework for Reasoning on Data Access Control Policies. 175-189
Electronic Edition (IEEE Computer Society DL) BibTeX

Advances in Automated Security Protocol Analysis

Dawn Xiaodong Song:
Athena: A New Efficient Automatic Checker for Security Protocol Analysis. 192-202
Electronic Edition (IEEE Computer Society DL) BibTeX
Antonio Durante, Riccardo Focardi, Roberto Gorrieri:
CVS: A Compiler for the Analysis of Cryptographic Protocols. 203-212
Electronic Edition (IEEE Computer Society DL) BibTeX

Noninterference Using Process Algebras

Peter Y. A. Ryan, Steve A. Schneider:
Process Algebra and Non-Interference. 214-227
Electronic Edition (IEEE Computer Society DL) BibTeX
A. W. Roscoe, M. H. Goldsmith:
What Is Intransitive Noninterference? 228-238
Electronic Edition (IEEE Computer Society DL) BibTeX