14. CSFW 2001: Cape Breton, Nova Scotia, Canada

@proceedings{DBLP:conf/csfw/2001,
  title     = {14th IEEE Computer Security Foundations Workshop (CSFW-14 2001),
               11-13 June 2001, Cape Breton, Nova Scotia, Canada},
  booktitle = {CSFW},
  publisher = {IEEE Computer Society},
  year      = {2001},
  isbn      = {0-7695-1146-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Non-Interference & Information Flow

• Sylvan Pinsky, Edward Zieglar:
  Noninterference Equations for Nondeterministic Systems. 3-4
  Electronic Edition (link) BibTeX
• Steve Zdancewic, Andrew C. Myers:
  Robust Declassification. 15
  Electronic Edition (link) BibTeX

Access Control

• Ajay Chander, John C. Mitchell, Drew Dean:
  A State-Transition Model of Trust Management and Access Control. 27-43
  Electronic Edition (link) BibTeX
• Åsa Hagström, Sushil Jajodia, Francesco Parisi-Presicce, Duminda Wijesekera:
  Revocations-A Classification. 44-58
  Electronic Edition (link) BibTeX
• Joseph Y. Halpern, Ron van der Meyden:
  A Logical Reconstruction of SPKI. 59-
  Electronic Edition (link) BibTeX

Protocols I

• Olivier Pereira, Jean-Jacques Quisquater:
  A Security Analysis of the Cliques Protocols Suites. 73-81
  Electronic Edition (link) BibTeX
• Bruno Blanchet:
  An Efficient Cryptographic Protocol Verifier Based on Prolog Rules. 82-96
  Electronic Edition (link) BibTeX
• Véronique Cortier, Jonathan K. Millen, Harald Rueß:
  Proving Secrecy is Easy Enough. 97-
  Electronic Edition (link) BibTeX

Panel

• Andre Scedrov, Ran Canetti, Joshua D. Guttman, David Wagner, Michael Waidner:
  Relating Cryptography and Cryptographic Protocols. 111-114
  Electronic Edition (link) BibTeX

Information Flow & Multi-Threading

• Geoffrey Smith:
  A New Type System for Secure Information Flow. 115-125
  Electronic Edition (link) BibTeX
• Heiko Mantel, Andrei Sabelfeld:
  A Generic Approach to the Security of Multi-Threaded Programs. 126-
  Electronic Edition (link) BibTeX

Protocols II

• Andrew D. Gordon, Alan Jeffrey:
  Authenticity by Typing for Security Protocols. 145-159
  Electronic Edition (link) BibTeX
• Marcelo P. Fiore, Martín Abadi:
  Computing Symbolic Models for Verifying Cryptographic Protocols. 160-173
  Electronic Edition (link) BibTeX
• Michaël Rusinowitch, Mathieu Turuani:
  Protocol Insecurity with Finite Number of Sessions is NP-Complete. 174-
  Electronic Edition (link) BibTeX

Intrusion Tolerance & Detection

• Peng Liu, Sushil Jajodia:
  Multi-Phase Damage Confinement in Database Systems for Intrusion Tolerance. 191-205
  Electronic Edition (link) BibTeX
• Somesh Jha, Kymie M. C. Tan, Roy A. Maxion:
  Markov Chains, Classifiers, and Intrusion Detection. 206-219
  Electronic Edition (link) BibTeX
• Muriel Roger, Jean Goubault-Larrecq:
  Log Auditing through Model-Checking. 220-
  Electronic Edition (link) BibTeX

Panel

• Peter Ryan, John D. McLean, Jonathan K. Millen, Virgil D. Gligor:
  Non-Interference: Who Needs It? 237-
  Electronic Edition (link) BibTeX

Logics for Protocol Verification

• Nancy A. Durgin, John C. Mitchell, Dusko Pavlovic:
  A Compositional Logic for Protocol Correctness. 241-
  Electronic Edition (link) BibTeX

Secrecy & Privacy

• Wenliang Du, Mikhail J. Atallah:
  Privacy-Preserving Cooperative Scientific Computations. 273-294
  Electronic Edition (link) BibTeX
• Maritta Heisel, Andreas Pfitzmann, Thomas Santen:
  Confidentiality-Preserving Refinement. 295-306
  Electronic Edition (link) BibTeX