CSDL - Proceedings S

Conference Committee (PDF)

pp. viii

Covert Channels

An Analysis of the Timed Z-channel (Abstract)

pp. 0002

PDF

Defining noninterference in the temporal logic of actions (Abstract)

T. Fine, Secure Comput. Corp., Roseville, MN, USA

pp. 0012

PDF

Panel: Goals for Computer Security Education

Goals for Computer Security Education (PDF)

Cynthia E. Irvine

pp. 0024

Computer security training and education: a needs analysis (PDF)

S.F. Burnett, Nat. Comput. Security Center, USA

pp. 0026

Domain Specific Security

A security policy model for clinical information systems (Abstract)

R.J. Anderson, Comput. Lab., Cambridge Univ., UK

pp. 0030

PDF

Protocols

What do we mean by entity authentication? (Abstract)

D. Gollmann, Dept. of Comput. Sci., London Univ., Egham, UK

pp. 0046

PDF

A fair non-repudiation protocol (Abstract)

Jianying Zhou, Dept. of Comput. Sci., London Univ., Egham, UK

D. Gollman, Dept. of Comput. Sci., London Univ., Egham, UK

pp. 0055

PDF

Limitations on Design Principles for Public Key Protocols (Abstract)

Paul Syverson

pp. 0062

PDF

Databases

Ensuring Atomicity of Multilevel Transactions (Abstract)

Paul Ammann, George Mason University

Sushil Jajodia, George Mason University

Indrakshi Ray, George Mason University

pp. 0074

PDF

View-Based Access Control with High Assurance (Abstract)

Xiaolei Qian, Computer Science Laboratory SRI International

pp. 0085

PDF

Supporting Multiple Access Control Policies in Database Systems (Abstract)

pp. 0094

PDF

Biologically Inspired Topics in Computer Security

An Immunological Approach to Change Detection: Algorithms, Analysis and Implications (Abstract)

Patrik D'haeseleer, University of New Mexico

Stephanie Forrest, University of New Mexico

Paul Helman, University of New Mexico

pp. 0110

PDF

A Sense of Self for Unix Processes (Abstract)

Stephanie Forrest, University of New Mexico

Steven A. Hofmeyr, University of New Mexico

Anil Somayaji, University of New Mexico

Thomas A. Longstaff, Carnegie-Mellon University

pp. 0120

PDF

Cryptovirology: Extortion-Based Security Threats and Countermeasures (Abstract)

Adam Young

Moti Yung

pp. 0129

PDF

Modeling

A Security Model of Dynamic Labeling Providing a Tiered Approach to Verification (Abstract)

Simon Foley, University College, Cork, Ireland

Li Gong, SRI International

Xiaolei Qian, SRI International

pp. 0142

PDF

A Communication Agreement Framework for Access/Action Control (Abstract)

Martin Roscheisen, Computer Science Department Stanford University

Terry Winograd, Computer Science Department Stanford University

pp. 0154

PDF

Decentralized Trust Management (Abstract)

Matt Blaze, AT&T Research

Joan Feigenbaum, AT&T Research

Jack Lacy, AT&T Research

pp. 0164

PDF

Security Properties and CSP (Abstract)

Steve Schneider, University of London

pp. 0174

PDF

Networks

Java Security: From HotJava to Netscape and Beyond (Abstract)

D. Dean

E.W. Felten

D.S. Wallach

pp. 0190

PDF

On two Proposals for On-line Bankcard Payments using Open Networks: Problems and Solutions (Abstract)

Wenbo Mao, Hewlett-Packard Laboratories

pp. 0201

PDF

Secure Network Objects (Abstract)

Martin Abadi

pp. 0211

PDF

Run-Time Security Evaluation (RTSE) for Distributed Applications (Abstract)

Cristina Serban, University of Missouri-Rolla

Bruce McMillin, University of Missouri-Rolla

pp. 0222

PDF

Index of Authors (PDF)

pp. 0233