CSDL - Proceedings S

Conference Committee (PDF)

pp. ix

Panel/Debate

Is the Trusted Computing Base Concept Fundamentally Flawed? (PDF)

J. McLean

pp. 0002

Some weaknesses of the TCB model (Abstract)

B. Blakley, Int. Bus. Machines Corp., Austin, TX, USA

D.M. Kienzle, Int. Bus. Machines Corp., Austin, TX, USA

pp. 0003

PDF

Is the Reference Monitor Concept Fatally Flawed? The Case for the Negative (PDF)

pp. 0006

Authorization and Authentication

Toward acceptable metrics of authentication (Abstract)

M.K. Reiter, Res. Labs., AT&T Bell Labs., Murray Hill, NJ, USA

S.G. Stubblebine, Res. Labs., AT&T Bell Labs., Murray Hill, NJ, USA

pp. 0010

PDF

An Authorization Scheme For Distributed Object Systems (Abstract)

V. Nicomette, LAAS-CNRS & INRIA

Y. Deswarte, LAAS-CNRS & INRIA

pp. 0021

PDF

A Logical Language for Expressing Authorizations (Abstract)

Sushil Jajodia, George Mason University

Pierangela Samarati, Universita di Milano

V. S. Subrahmanian, University of Maryland

pp. 0031

PDF

Applications

Anonymous Connections and Onion Routing (Abstract)

Paul F. Syverson, Naval Research Laboratory

David M. Goldschlag, Naval Research Laboratory

Michael G. Reed, Naval Research Laboratory

pp. 0044

PDF

The design and implementation of a multilevel secure log manager (Abstract)

V.R. Pesati, Oracle Corp., Redwood Shores, CA, USA

T.E. Keefe, Oracle Corp., Redwood Shores, CA, USA

S. Pal, Oracle Corp., Redwood Shores, CA, USA

pp. 0055

PDF

A secure and reliable bootstrap architecture (Abstract)

W.A. Arbaugh, Distributed Syst. Lab., Pennsylvania Univ., Philadelphia, PA, USA

D.J. Farber, Distributed Syst. Lab., Pennsylvania Univ., Philadelphia, PA, USA

J.M. Smith, Distributed Syst. Lab., Pennsylvania Univ., Philadelphia, PA, USA

pp. 0065

PDF

An MBone Proxy for an Application Gateway Firewall (Abstract)

Kelly Djahandari, Trusted Information Systems, Inc.

Daniel F. Sterne, Trusted Information Systems, Inc.

pp. 0072

PDF

Security Theory

Secure software architectures (Abstract)

M. Moriconi, Comput. Sci. Lab., SRI Int., Menlo Park, CA, USA

Xiaolei Qian, Comput. Sci. Lab., SRI Int., Menlo Park, CA, USA

R.A. Riemenschneider, Comput. Sci. Lab., SRI Int., Menlo Park, CA, USA

Li Gong, Comput. Sci. Lab., SRI Int., Menlo Park, CA, USA

pp. 0084

PDF

A general theory of security properties (Abstract)

A. Zakinthinos, Comput. Lab., Cambridge Univ., UK

E.S. Lee, Comput. Lab., Cambridge Univ., UK

pp. 0094

PDF

Analyzing consistency of security policies (Abstract)

L. Cholvy, ONERA-CERT, Toulouse, France

F. Cuppens, ONERA-CERT, Toulouse, France

pp. 0103

PDF

Moderator: Marvin Schaefer, Arca Systems

Ensuring assurance in mobile computing (Abstract)

M. Schaefer, Arca Syst., USA

S. Pinsky, Arca Syst., USA

D. Dean, Arca Syst., USA

Li Gong, Arca Syst., USA

J. Roskind, Arca Syst., USA

B. Fox, Arca Syst., USA

pp. 0114

PDF

Architectures

Filtering postures: local enforcement for global policies (Abstract)

J.D. Guttman, Mitre Corp., Bedford, MA, US

pp. 0120

PDF

Providing flexibility in information flow control for object oriented systems (Abstract)

E. Ferrari, Dipartimento di Sci. dell'Inf., Milan Univ., Italy

P. Samarati, Dipartimento di Sci. dell'Inf., Milan Univ., Italy

E. Bertino, Dipartimento di Sci. dell'Inf., Milan Univ., Italy

S. Jajodia, Dipartimento di Sci. dell'Inf., Milan Univ., Italy

pp. 0130

PDF

Automated analysis of cryptographic protocols using Mur/spl phi/ (Abstract)

J.C. Mitchell, Dept. of Comput. Sci., Stanford Univ., CA, USA

M. Mitchell, Dept. of Comput. Sci., Stanford Univ., CA, USA

U. Stern, Dept. of Comput. Sci., Stanford Univ., CA, USA

pp. 0141

PDF

Intrusion Detection and Beyond

How to Systematically Classify Computer Security Intrusions (Abstract)

Ulf Lindqvist, Chalmers University of Technology

Erland Jonsson, Chalmers University of Technology

pp. 0154

PDF

Surviving information warfare attacks on databases (Abstract)

P. Ammann, Center for Secure Inf. Syst., George Mason Univ., Fairfax, VA, USA

S. Jajodia, Center for Secure Inf. Syst., George Mason Univ., Fairfax, VA, USA

C.D. McCollum, Center for Secure Inf. Syst., George Mason Univ., Fairfax, VA, USA

B.T. Blaustein, Center for Secure Inf. Syst., George Mason Univ., Fairfax, VA, USA

pp. 0164

PDF

Execution monitoring of security-critical programs in distributed systems: a Specification-based approach (Abstract)

C. Ko, Trusted Inf. Syst. Inc., Mountain View, CA, USA

M. Ruschitzka, Trusted Inf. Syst. Inc., Mountain View, CA, USA

K. Levitt, Trusted Inf. Syst. Inc., Mountain View, CA, USA

pp. 0175

PDF

Catalytic Inference Analysis: Detecting Inference Threats due to Knowledge Discovery (Abstract)

John Hale, University of Tulsa

Sujeet Shenoi, University of Tulsa

pp. 0188

PDF

Panel: Security in Innovative New Operating Systems

Security in Innovative New Operating Systems (PDF)

C. E. Irvine

pp. 0202

Research on Proof-Carrying Code for Untrusted-Code Security (PDF)

G. Necula

P. Lee

pp. 0204

Access Control for the SPIN Extensible Operating System (PDF)

pp. 0205

Escort: securing Scout paths (PDF)

O. Spatscheck, Dept. of Comput. Sci., Arizona Univ., Tucson, AZ, USA

L. Peterson, Dept. of Comput. Sci., Arizona Univ., Tucson, AZ, USA

pp. 0206

System Vulnerabilities

Analysis of a Denial of Service Attack on TCP (Abstract)

pp. 0208

PDF

Deniable password snatching: on the possibility of evasive electronic espionage (Abstract)

A. Young, Dept. of Comput. Sci., Columbia Univ., New York, NY, USA

Moti Yung, Dept. of Comput. Sci., Columbia Univ., New York, NY, USA

pp. 0224

PDF

Number theoretic attacks on secure password schemes (Abstract)

S. Patel, Math. & Cryptography Res. Group, Bellcore, Morristown, NJ, USA

pp. 0236

PDF

Author Index (PDF)

pp. 0249