1. Home
  2. Proceedings
  3. SP
  4. SP 1999
Default Cover Image

Proceedings of the 1999 IEEE Symposium on Security and Privacy (Cat. No.99CB36344)

May 9 1999 to May 12 1999

Oakland, California

ISSN: 1540-7993

ISBN: 0-7695-0176-1

Table of Contents

Proceedings of the 1999 IEEE Symposium on Security and Privacy (Cat. No.99CB36344)Freely available from IEEE.pp. i-i
Message from the Program ChairsFreely available from IEEE.pp. ix
Symposium CommitteeFreely available from IEEE.pp. x
Systems
Hardening COTS Software with Generic Software WrappersFull-text access may be available. Sign in or learn about subscription options.pp. 0002
by Timothy Fraser, Lee Badger, Mark Feldman
Systems
Firmato: A Novel Firewall Management ToolkitFull-text access may be available. Sign in or learn about subscription options.pp. 0017
by Yair Bartal, Alain Mayer, Kobbi Nissim, Avishai Wool
Systems
Flexible Policy-Directed Code SafetyFull-text access may be available. Sign in or learn about subscription options.pp. 0032
by David Evans, Andrew Twyman
Policy
Local Reconfiguration PoliciesFull-text access may be available. Sign in or learn about subscription options.pp. 0048
by J. Millen
Policy
A User-Centered, Modular Authorization Service Built on an RBAC FoundationFull-text access may be available. Sign in or learn about subscription options.pp. 0057
by Mary Ellen Zurko, Rich Simon, Tom Sanfilippo
Verification
Secure Communications Processing for Distributed LanguagesFull-text access may be available. Sign in or learn about subscription options.pp. 0074
by M. Abadi, C. Fournet, G. Gonthier
Verification
Verification of Control Flow Based Security PropertiesFull-text access may be available. Sign in or learn about subscription options.pp. 0089
by T. Jensen, D. Le Métayer, T. Thorn
Panel 1: Brief History of Twenty Years of Computer Security Research
Twenty Years of Cryptography in the Open LiteratureFull-text access may be available. Sign in or learn about subscription options.pp. 0106
by G. R. Blakley
Panel 1: Brief History of Twenty Years of Computer Security Research
20 Years of Operating Systems SecurityFull-text access may be available. Sign in or learn about subscription options.pp. 0108
by Virgil D. Gligor
Panel 1: Brief History of Twenty Years of Computer Security Research
Twenty Years of Evaluation Criteria and Commercial TechnologyFull-text access may be available. Sign in or learn about subscription options.pp. 0111
by Steve Lipner
Panel 1: Brief History of Twenty Years of Computer Security Research
20 Years of Covert Channel Modeling and AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 0113
by Jonathan Millen
Panel 1: Brief History of Twenty Years of Computer Security Research
Twenty Years of Formal MethodsFull-text access may be available. Sign in or learn about subscription options.pp. 0115
by John McLean
Panel 1: Brief History of Twenty Years of Computer Security Research
Network Security: Then and Now, or, 20 Years in 10 MinutesFull-text access may be available. Sign in or learn about subscription options.pp. 0117
by S. Kent
Intrusion Detection
A Data Mining Framework for Building Intrusion Detection ModelsFull-text access may be available. Sign in or learn about subscription options.pp. 0120
by Wenke Lee, Salvatore J. Stolfo, Kui W. Mok
Intrusion Detection
Detecting Intrusions using System Calls: Alternative Data ModelsFull-text access may be available. Sign in or learn about subscription options.pp. 0133
by C. Warrender, S. Forrest, B. Pearlmutter
Intrusion Detection
Detecting Computer and Network Misuse Through the Production-Based Expert System Toolset (P-BEST)Full-text access may be available. Sign in or learn about subscription options.pp. 0146
by Ulf Lindqvist, Phillip A. Porras
Panel 2: Near Misses and Hidden Treasures in Early Computer Security Research
Full-text access may be available. Sign in or learn about subscription options.pp. null
by Panelists: Tom Berson, Marv Schaefer, Dick Kemmerer
Information Flow
A Multi-threading Architecture for Multilevel Secure Transaction ProcessingFull-text access may be available. Sign in or learn about subscription options.pp. 0166
by Haruna R. Isa, William R. Shockley, Cynthia E. Irvine
Information Flow
Specification and Enforcement of Classification and Inference ConstraintsFull-text access may be available. Sign in or learn about subscription options.pp. 0181
by Steven Dawson, Sabrina de Capitani di Vimercati, Pierangela Samarati
Information Flow
A Test for Non-Disclosure in Security Level TranslationsFull-text access may be available. Sign in or learn about subscription options.pp. 0196
by David Rosenthal, Francis Fung
Authentication and Key Exchange
Software Smart Cards via Cryptographic CamouflageFull-text access may be available. Sign in or learn about subscription options.pp. 0208
by D.N. Hoover, B.N. Kausik
Authentication and Key Exchange
Analysis of the Internet Key Exchange Protocol Using the NRL Protocol AnalyzerFull-text access may be available. Sign in or learn about subscription options.pp. 0216
by Catherine Meadows
Panel Discussion 3: Time Capsule — Twenty Years from Now
How Computers will be Used Differently in the Next Twenty YearsFull-text access may be available. Sign in or learn about subscription options.pp. 0234
by Mark Weiser
Panel Discussion 3: Time Capsule — Twenty Years from Now
The Hardware EnvironmentFull-text access may be available. Sign in or learn about subscription options.pp. 0236
by R.M. Needham
Panel Discussion 3: Time Capsule — Twenty Years from Now
Software Technology of the FutureFull-text access may be available. Sign in or learn about subscription options.pp. 0237
by Howard Shrobe
Panel Discussion 3: Time Capsule — Twenty Years from Now
Twenty Year Time Capsule Panel The Future of NetworkingFull-text access may be available. Sign in or learn about subscription options.pp. 0239
by Hilarie Orman
Panel Discussion 3: Time Capsule — Twenty Years from Now
The Future Is Not Assured -- But It Should BeFull-text access may be available. Sign in or learn about subscription options.pp. 0240
by Brian D. Snow
Panel Discussion 3: Time Capsule — Twenty Years from Now
Index of AuthorsFreely available from IEEE.pp. 0243
Showing 31 out of 31