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

Proceedings 1996 IEEE Symposium on Security and Privacy

May 6 1996 to May 8 1996

Oakland, Ca

ISSN: 1540-7993

ISBN: 0-8186-7417-2

Table of Contents

Proceedings 1996 IEEE Symposium on Security and PrivacyFreely available from IEEE.pp. i-i
Message from the Program ChairsFreely available from IEEE.pp. vii
Conference CommitteeFreely available from IEEE.pp. viii
Covert Channels
An Analysis of the Timed Z-channelFull-text access may be available. Sign in or learn about subscription options.pp. 0002
by Ira S. Moskowitz, Steven J. Greenwald, Myong H. Kang
Covert Channels
Defining noninterference in the temporal logic of actionsFull-text access may be available. Sign in or learn about subscription options.pp. 0012
by T. Fine
Panel: Goals for Computer Security Education
Goals for Computer Security EducationFull-text access may be available. Sign in or learn about subscription options.pp. 0024
by Cynthia E. Irvine
Panel: Goals for Computer Security Education
Computer security training and education: a needs analysisFull-text access may be available. Sign in or learn about subscription options.pp. 0026
by S.F. Burnett
Domain Specific Security
A security policy model for clinical information systemsFull-text access may be available. Sign in or learn about subscription options.pp. 0030
by R.J. Anderson
Protocols
What do we mean by entity authentication?Full-text access may be available. Sign in or learn about subscription options.pp. 0046
by D. Gollmann
Protocols
A fair non-repudiation protocolFull-text access may be available. Sign in or learn about subscription options.pp. 0055
by Jianying Zhou, D. Gollman
Protocols
Limitations on Design Principles for Public Key ProtocolsFull-text access may be available. Sign in or learn about subscription options.pp. 0062
by Paul Syverson
Databases
Ensuring Atomicity of Multilevel TransactionsFull-text access may be available. Sign in or learn about subscription options.pp. 0074
by Paul Ammann, Sushil Jajodia, Indrakshi Ray
Databases
View-Based Access Control with High AssuranceFull-text access may be available. Sign in or learn about subscription options.pp. 0085
by Xiaolei Qian
Databases
Supporting Multiple Access Control Policies in Database SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 0094
by Elisa Bertino, Sushi1 Jajodia, Pierangela Samarati
Biologically Inspired Topics in Computer Security
An Immunological Approach to Change Detection: Algorithms, Analysis and ImplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 0110
by Patrik D'haeseleer, Stephanie Forrest, Paul Helman
Biologically Inspired Topics in Computer Security
A Sense of Self for Unix ProcessesFull-text access may be available. Sign in or learn about subscription options.pp. 0120
by Stephanie Forrest, Steven A. Hofmeyr, Anil Somayaji, Thomas A. Longstaff
Biologically Inspired Topics in Computer Security
Cryptovirology: Extortion-Based Security Threats and CountermeasuresFull-text access may be available. Sign in or learn about subscription options.pp. 0129
by Adam Young, Moti Yung
Modeling
A Security Model of Dynamic Labeling Providing a Tiered Approach to VerificationFull-text access may be available. Sign in or learn about subscription options.pp. 0142
by Simon Foley, Li Gong, Xiaolei Qian
Modeling
A Communication Agreement Framework for Access/Action ControlFull-text access may be available. Sign in or learn about subscription options.pp. 0154
by Martin Roscheisen, Terry Winograd
Modeling
Decentralized Trust ManagementFull-text access may be available. Sign in or learn about subscription options.pp. 0164
by Matt Blaze, Joan Feigenbaum, Jack Lacy
Modeling
Security Properties and CSPFull-text access may be available. Sign in or learn about subscription options.pp. 0174
by Steve Schneider
Networks
Java Security: From HotJava to Netscape and BeyondFull-text access may be available. Sign in or learn about subscription options.pp. 0190
by D. Dean, E.W. Felten, D.S. Wallach
Networks
On two Proposals for On-line Bankcard Payments using Open Networks: Problems and SolutionsFull-text access may be available. Sign in or learn about subscription options.pp. 0201
by Wenbo Mao
Networks
Secure Network ObjectsFull-text access may be available. Sign in or learn about subscription options.pp. 0211
by Martin Abadi
Networks
Run-Time Security Evaluation (RTSE) for Distributed ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 0222
by Cristina Serban, Bruce McMillin
Networks
Index of AuthorsFreely available from IEEE.pp. 0233
Showing 26 out of 26