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
Nancy A. Lynch:
I/O Automaton Models and Proofs for Shared-Key Communication Systems. 14-29

Security Protocol Analysis: Notation, Transformation, and Simplification

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

Strand Spaces

F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman:
Mixed Strand Spaces. 72-82
Alfred P. Maneki:
Honest Functions and their Application to the Analysis of Cryptographic Protocols. 83-89

Panel: Formalization and Proof of Secrecy Properties

Dennis M. Volpano:
Formalization and Proof of Secrecy Properties. 92-95

Local Names

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

Interaction and Composition

Colin O'Halloran:
Trusted System Construction. 124-135
Peter Sewell, Jan Vitek:
Secure Composition of Insecure Components. 136-150
Pierre Bieber:
Security Function Interactions. 151-160

Logics for Authorization and Access Control

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

Advances in Automated Security Protocol Analysis

Dawn Xiaodong Song:
Athena: A New Efficient Automatic Checker for Security Protocol Analysis. 192-202
Antonio Durante, Riccardo Focardi, Roberto Gorrieri:
CVS: A Compiler for the Analysis of Cryptographic Protocols. 203-212

Noninterference Using Process Algebras

Peter Y. A. Ryan, Steve A. Schneider:
Process Algebra and Non-Interference. 214-227
A. W. Roscoe, M. H. Goldsmith:
What Is Intransitive Noninterference? 228-238

Last update Thu May 24 04:15:33 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page