21. S&P 2000: Oakland, California, USA

Access Control I

• Amir Herzberg, Yosi Mass, Joris Mihaeli, Dalit Naor, Yiftach Ravid:
  Access Control Meets Public Key Infrastructure, Or: Assigning Roles to Strangers. 2-14
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Dirk Balfanz, Drew Dean, Mike Spreitzer:
  A Security Infrastructure for Distributed Java Applications. 15-26
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Ninghui Li, Benjamin N. Grosof, Joan Feigenbaum:
  A Practically Implementable and Tractable Delegation Logic. 27-42
  Electronic Edition (IEEE Computer Society DL) BibTeX

Applications of Cryptography

• Dawn Xiaodong Song, David Wagner, Adrian Perrig:
  Practical Techniques for Searches on Encrypted Data. 44-55
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Adrian Perrig, Ran Canetti, J. D. Tygar, Dawn Xiaodong Song:
  Efficient Authentication and Signing of Multicast Streams over Lossy Channels. 56-73
  Electronic Edition (IEEE Computer Society DL) BibTeX

Panel

• Cynthia E. Irvine, Timothy E. Levin:
  Is Electronic Privacy Achievable? 76-77
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Ross J. Anderson:
  Privacy Technology Lessons from Healthcare. 78-79
  Electronic Edition (IEEE Computer Society DL) BibTeX

Protocol Analysis and Design

• John A. Clark, Jeremy L. Jacob:
  Searching for a Solution: Engineering Tradeoffs and the Evolution of Provably Secure Protocols. 82-95
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Joshua D. Guttman, F. Javier Thayer:
  Authentication Tests. 96-109
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Jonathan K. Millen, Harald Rueß:
  Protocol-Independent Secrecy. 110-209
  Electronic Edition (IEEE Computer Society DL) BibTeX

Panel

• Peter G. Neumann:
  Robust Nonproprietary Software. 122-123
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Steven B. Lipner:
  Security and Source Code Access: Issues and Realities. 124-125
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Fred B. Schneider:
  Open Source in Security: Visiting the Bizarre. 126-127
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Gary McGraw:
  Will Openish Source Really Improve Security. 128-129
  Electronic Edition (IEEE Computer Society DL) BibTeX

Intrusion Detection

• John R. Hughes, Tuomas Aura, Matt Bishop:
  Using Conservation of Flow as a Security Mechanism in Network Protocols. 132-131
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Calvin Ko:
  Logic Induction of Valid Behavior Specifications for Intrusion Detection. 142-153
  Electronic Edition (IEEE Computer Society DL) BibTeX

Assurance

• Ronald W. Ritchey, Paul Ammann:
  Using Model Checking to Analyze Network Vulnerabilities. 156-165
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Jonathan S. Shapiro, Sam Weber:
  Verifying the EROS Confinement Mechanism. 166-176
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Alain J. Mayer, Avishai Wool, Elisha Ziskind:
  Fang: A Firewall Analysis Engine. 177-187
  Electronic Edition (IEEE Computer Society DL) BibTeX

Key Management

• David A. Cooper:
  A More Efficient Use of Delta-CRLs. 190-202
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Albert Levi, M. Ufuk Çaglayan:
  An Efficient, Dynamic and Trust Preserving Public Key Infrastructure. 203-214
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Sanjeev Setia, Samir Koussih, Sushil Jajodia, Eric Harder:
  Kronos: A Scalable Group Re-Keying Approach for Secure Multicast. 215-228
  Electronic Edition (IEEE Computer Society DL) BibTeX

Access Control II

• Timothy Fraser:
  LOMAC: Low Water-Mark Integrity Protection for COTS Environments. 230-245
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Úlfar Erlingsson, Fred B. Schneider:
  IRM Enforcement of Java Stack Inspection. 246-255
  Electronic Edition (IEEE Computer Society DL) BibTeX