CSDL - 1997 IEEE Symposium on Security and Privacy - Table of Contents

Proceedings. 1997 IEEE Symposium on Security and Privacy (Cat. No.97CB36097) (1997)

Oakland, CA

May 4, 1997 to May 7, 1997

ISSN: 1540-7993

ISBN: 0-8186-7828-3

TABLE OF CONTENTS

Message from the Program Chairs (PDF)

pp. viii

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

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

W. R. Shockley

J. P. Downey

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

An Authorization Scheme For Distributed Object Systems (Abstract)

V. Nicomette , LAAS-CNRS & INRIA

Y. Deswarte , LAAS-CNRS & INRIA

pp. 0021

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

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

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

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

An MBone Proxy for an Application Gateway Firewall (Abstract)

Kelly Djahandari , Trusted Information Systems, Inc.

Daniel F. Sterne , Trusted Information Systems, Inc.

pp. 0072

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

A general theory of security properties (Abstract)

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

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

pp. 0094

Analyzing consistency of security policies (Abstract)

L. Cholvy , ONERA-CERT, Toulouse, France

F. Cuppens , ONERA-CERT, Toulouse, France

pp. 0103

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

Architectures

Filtering postures: local enforcement for global policies (Abstract)

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

pp. 0120

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

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

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

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

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

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

John Hale , University of Tulsa

Sujeet Shenoi , University of Tulsa

pp. 0188

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)

R. Grimm

B. N. Bershad

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

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

Number theoretic attacks on secure password schemes (Abstract)

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

pp. 0236

Author Index (PDF)

pp. 0249