18. S&P 1997: Oakland, California, USA

1997 IEEE Symposium on Security and Privacy, May 4-7, 1997, Oakland, CA, USA. IEEE Computer Society 1997, ISBN 0-8186-7828-3 BibTeX

Panel/Debate

John D. McLean:
Is the Trusted Computing Base Concept Fundamentally Flawed? 2
Electronic Edition (link) BibTeX
Bob Blakley, Darrell M. Kienzle:
Some weaknesses of the TCB model. 3-5
Electronic Edition (link) BibTeX
William R. Shockley, James P. Downey:
Is the Reference Monitor Concept Fatally Flawed? The Case for the Negative. 6-7
Electronic Edition (link) BibTeX

Michael K. Reiter, Stuart G. Stubblebine:
Toward Acceptable Metrics of Authentication. 10-20
Electronic Edition (link) BibTeX
Vincent Nicomette, Yves Deswarte:
An Authorization Scheme For Distributed Object Systems. 21-30
Electronic Edition (link) BibTeX
Sushil Jajodia, Pierangela Samarati, V. S. Subrahmanian:
A Logical Language for Expressing Authorizations. 31-42
Electronic Edition (link) BibTeX

Paul F. Syverson, David M. Goldschlag, Michael G. Reed:
Anonymous Connections and Onion Routing. 44-54
Electronic Edition (link) BibTeX
V. R. Pesati, T. E. Keefe, S. Pal:
The Design and Implementation of a Multilevel Secure Log Manager. 55-64
Electronic Edition (link) BibTeX
William A. Arbaugh, David J. Farber, Jonathan M. Smith:
A Secure and Reliable Bootstrap Architecture. 65-71
Electronic Edition (link) BibTeX
Kelly Djahandari, Daniel F. Sterne:
An MBone Proxy for an Application Gateway Firewall. 72-81
Electronic Edition (link) BibTeX

Joshua D. Guttman:
Filtering Postures: Local Enforcement for Global Policies. 120-129
Electronic Edition (link) BibTeX
Elena Ferrari, Pierangela Samarati, Elisa Bertino, Sushil Jajodia:
Providing flexibility in information flow control for object oriented systems. 130-140
Electronic Edition (link) BibTeX
John C. Mitchell, Mark Mitchell, Ulrich Stern:
Automated analysis of cryptographic protocols using Mur-phi. 141-151
Electronic Edition (link) BibTeX

Ulf Lindqvist, Erland Jonsson:
How to Systematically Classify Computer Security Intrusions. 154-163
Electronic Edition (link) BibTeX
Paul Ammann, Sushil Jajodia, Catherine D. McCollum, Barbara T. Blaustein:
Surviving information warfare attacks on databases. 164-174
Electronic Edition (link) BibTeX
Calvin Ko, Manfred Ruschitzka, Karl N. Levitt:
Execution Monitoring of Security-Critical Programs in Distributed Systems: A Specification-Based Approach. 175-187
Electronic Edition (link) BibTeX
John Hale, Sujeet Shenoi:
Catalytic Inference Analysis: Detecting Inference Threats due to Knowledge Discovery. 188-199
Electronic Edition (link) BibTeX

Cynthia E. Irvine:
Security in Innovative New Operating Systems. 202-203
Electronic Edition (link) BibTeX
George C. Necula, Peter Lee:
Research on Proof-Carrying Code for Untrusted-Code Security. 204
Electronic Edition (link) BibTeX
Robert Grimm, Brian N. Bershad:
Access Control for the SPIN Extensible Operating System. 205
Electronic Edition (link) BibTeX
Oliver Spatscheck, Larry L. Peterson:
Escort: Securing Scout Paths. 206
Electronic Edition (link) BibTeX

Christoph L. Schuba, Ivan Krsul, Markus G. Kuhn, Eugene H. Spafford, Aurobindo Sundaram, Diego Zamboni:
Analysis of a Denial of Service Attack on TCP. 208-223
Electronic Edition (link) BibTeX
Adam Young, Moti Yung:
Deniable Password Snatching: On the Possibility of Evasive Electronic Espionage. 224-235
Electronic Edition (link) BibTeX
Sarvar Patel:
Number Theoretic Attacks on Secure Password Schemes. 236-247
Electronic Edition (link) BibTeX