IEEE Symposium on Security and Privacy, May 6-8, 1996 Papers Presented

• An Analysis of the Timed Z-Channel
  Ira S. Moskowitz, Steven J. Greenwald, Myong H. Kang, pp. 2-11.
• Defining Noninterference in the Temporal Logic of Actions
  Todd Fine, pp. 12-23. (URL pending; in the meantime, send e-mail requests to fine@sctc.com)
• Goals for Computer Security Education (Panel Position Paper)
  Cynthia Irvine, pp. 24-25.
• Computer Security Training and Education: A Needs Analysis (Panel Position Paper)
  Stephen F. Barnett, pp. 26-29. To request a copy, send e-mail to:
  sbarnett@romulus.ncsc.mil
• A Security Policy Model for Clinical Information Systems
  Ross Anderson, pp. 30-45.
• What do We Mean by Entity Authentication?
  Dieter Gollmann, pp. 46-54.
• A Fair Non-repudiation Protocol
  Jianying Zhou, Dieter Gollmann, pp.55-61.
• Limitations on Design Principles for Public Key Protocols
  Paul Syverson, pp. 62-73.
• Ensuring Atomicity of Multilevel Transactions
  Paul Ammann, Sushil Jajodia, Indrakshi Ray, pp. 74-84.
• View-Based Access Control with High Assurance
  Xiaolei Qian, pp. 85-93.
• Supporting Multiple Access Control Policies in Database Systems
  Elisa Bertino, Sushil Jajodia, Pierangela Samarati, pp. 94-109.
• An Immunological Approach to Change Detection: Algorithms, Analysis, and Implications
  Patrik D'Haeseleer, Stephanie Forrest, Paul Helman, pp.110-119.
• A Sense of Self for UNIX Processes
  Stephanie Forrest, Steven A. Hofmeyr, Anil Somayaji, Thomas A. Longstaff, pp. 120-128.
• Cryptovirology: Extortion Based Security Threats and Countermeasures
  Adam Young, Moti Yung, pp. 129-141. (abstract)
• A Security Model of Dynamic Labeling Providing a Tiered Approach to Verification
  Simon Foley, Li Gong, Xiaolei Qian, pp. 142-154.
• A Communication Agreement Framework of Access / Action Control
  Martin Roscheisen, Terry Winograd, pp. 154-163.
• Decentralized Trust Management
  Matt Blaze, Joan Feigenbaum, Jack Lacy, pp. 164-173.
• Security Properties and CSP
  Steve Schneider, pp. 174-189. (Slides from the talk)
• Java Security: From HotJava to Netscape and Beyond
  Drew Dean, Edward W. Felton, Dan S. Wallach, pp. 190-200.
• On Two Proposals for On-line Bankcard Payments using Open Networks: Problems and Solutions
  Wenbo Mao, pp. 201-210.
• Secure Network Objects
  Leendert van Doorn, Martin Abadi, Mike Burrows, Edward Wobber, pp. 211-221.
• Run-Time Security Evaluation (RTSE) for Distributed Applications
  Cristina Serban, B. McMillin, pp. 222-232.