10. CSFW 1997: Rockport, Massachusetts, USA

@proceedings{DBLP:conf/csfw/1997,
  title     = {10th Computer Security Foundations Workshop (CSFW '97), June
               10-12, 1997, Rockport, Massachusetts, USA},
  booktitle = {CSFW},
  publisher = {IEEE Computer Society},
  year      = {1997},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Protocol Checking in CSP

• Steve Schneider:
  Verifying authentication protocols with CSP. 3-17
  Electronic Edition (link) BibTeX
• Gavin Lowe:
  Casper: A Compiler for the Analysis of Security Protocols. 18-30
  Electronic Edition (link) BibTeX
• Gavin Lowe:
  A Hierarchy of Authentication Specification. 31-44
  Electronic Edition (link) BibTeX

Protocol Engineering

• James W. Gray III, Kin Fai Epsilon Ip, King-Shan Lui:
  Provable Security for Cryptographic Protocols: Exact Analysis and Engineering Applications. 45-58
  Electronic Edition (link) BibTeX
• Tuomas Aura:
  Strategies against Replay Attacks. 59-69
  Electronic Edition (link) BibTeX

Protocol Verification in Higher Order Logic

• Lawrence C. Paulson:
  Proving Properties of Security Protocols by Induction. 70-83
  Electronic Edition (link) BibTeX
• Lawrence C. Paulson:
  Mechanized proofs for a recursive authentication protocol. 84-95
  Electronic Edition (link) BibTeX

Languages for Formal Specification of Security Protocols

• Catherine Meadows:
  Languages for Formal Specification of Security Protocols. 96-97
  Electronic Edition (link) BibTeX

Distributed System Security

• Martín Abadi:
  On SDSI's Linked Local Name Spaces. 98-108
  Electronic Edition (link) BibTeX
• Paul F. Syverson:
  A Different Look at Secure Distributed Computation. 109-115
  Electronic Edition (link) BibTeX
• Dahlia Malkhi, Michael K. Reiter:
  Unreliable Intrusion Detection in Distributed Computations. 116-125
  Electronic Edition (link) BibTeX

Protocol Applications

• Jianying Zhou, Dieter Gollmann:
  An Efficient Non-repudiation Protocol . 126-132
  Electronic Edition (link) BibTeX
• Dominique Bolignano:
  Towards the Formal Verification of Electronic Commerce Protocols. 133-147
  Electronic Edition (link) BibTeX

Information Flow: Chair

• Kan Zhang:
  A Theory for System Security. 148-155
  Electronic Edition (link) BibTeX
• Dennis M. Volpano, Geoffrey Smith:
  Eliminating Covert Flows with Minimum Typings. 156-169
  Electronic Edition (link) BibTeX

The Computer Security Foundations Workshop: Ten Years on and Ten Years Ahead

• J. Sinclair:
  The Computer Security Foundations Workshop: Ten Years on and Ten Years Ahead. 170-172
  Electronic Edition (link) BibTeX

Security Policies

• Yun Bai, Vijay Varadharajan:
  A Logic For State Transformations in Authorization Policies. 173-182
  Electronic Edition (link) BibTeX
• Richard Simon, Mary Ellen Zurko:
  Separation of Duty in Role-based Environments. 183-194
  Electronic Edition (link) BibTeX
• Ciarán Bryce:
  Security Engineering of Lattice-Based Policies. 195-208
  Electronic Edition (link) BibTeX