Searching...
Advanced Search
S
SP
1989
1989 IEEE Symposium on Security and Privacy
This Publication
Digital Library
Advanced Search
This Publication
Subscribe to this Publication
Login to access your subscribed content
Bibliographic References
ASCII Text
BibTex
Refworks Procite/RefMan
1989 IEEE Symposium on Security and Privacy
Oakland, CA
May 01-May 03
ISBN: 0-8186-1939-2
Table of Contents
null
Conference Committees
(PDF)
pp. v
ABSTRACT
PDF
Fundamentals Revisited - Chair: T. Berson
Network Security: The Parts of the Sum
(Abstract)
Stephen T. Walker
pp. 2
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Statistical Models of Trust: TCBs vs People
(Abstract)
Theodore M.P. Lee
pp. 10
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Symbol Security Condition Considered Harmful
(Abstract)
Marvin Schaefer
pp. 20
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Operating Systems I - Chair: S. Lipner
New Methods for Immediate Revocation
(Abstract)
Paul A. Karger
pp. 48
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Secure Identity-Based Capability System
(Abstract)
Li Gong
pp. 56
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Operating Systems II - Chair: V. Gligor
Access Mediation in a Message Passing Kernel
(Abstract)
Martha Branstad
Homayoon Tajalli
Frank Mayer
David Dalva
pp. 66
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Formal Model for UNIX Setuid
(Abstract)
Tim Levin
Steven J. Padilla
Cynthia E. Irvine
pp. 73
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Policy vs. Mechanism in the Secure TUNIS Operating System
(Abstract)
Guy-L Grenier
Richard C. Holt
Mark Funkenhauser
pp. 84
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
The Incorporation of Multi-Level IPC into UNIX
(Abstract)
Thomas J. Parenty
pp. 94
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Database Management Systems - Chair: C. Meadows
Aggregation and Inference: Facts and Fallacies
(Abstract)
Teresa F. Lunt
pp. 102
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Security Model for Object-Oriented Databases
(Abstract)
Eduardo B. Fernandez
Ehud Gudes
Haiyan Song
pp. 110
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Security Policy for an A1DBMS (a Trusted Subject)
(Abstract)
Jackson Wilson
pp. 116
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
On the Cell Suppression by Merging Technique in the Lattice Model of Summary Tables
(Abstract)
Trong-An Su
JiYong Chung
Gultekin Ozsoyoglu
pp. 126
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Praxis - Chair: E. Boebert
Using Narrowing in the Analysis of Key Management Protocols
(Abstract)
Catherine Meadows
pp. 138
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Software Engineering Approach to Designing Trustworthy Software
(Abstract)
Mark R. Cornwell
pp. 148
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Formal Model ofa Trusted Fileserver
(Abstract)
John C. Williams
George W. Dinolt
pp. 157
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
LOCK Trak:Navigating Uncharted Space
(Abstract)
O. Sami Saydjari
Joseph M. Beckman
Jeffrey R. Leaman
pp. 167
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Distributed Systems - Chair:D. Cooper
Tea and I: An Allergy
(Abstract)
A Fable
pp. 178
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Security Issues in Policy Routing
(Abstract)
Deborah Estrin
Gene Tsudik
pp. 183
ABSTRACT
PDF
PURCHASE ARTICLE: $19
The Hierarchical Model of Distributed System Security
(Abstract)
G. Benson
W. Appelbe
I. Akyildiz
pp. 194
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Formal Models I - Chair: J. McHugh
The Chinese Wall Security Policy
(Abstract)
Dr. David F.C. Brewer
Dr. Micheal J. Nash
pp. 206
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A "New'' Security Policy Model
(Abstract)
Phil Terry
Simon Wiseman
pp. 215
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Framework for Expressing Models of Security Policy
(Abstract)
John E. Dobson
John A. McDermid
pp. 229
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Formal Models II - Chair: J. McLean
On the Derivation of Secure Components
(Abstract)
Jeremy Jacob
pp. 242
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Model for Secure Information Flow
(Abstract)
Simon N. Foley
pp. 248
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Transformation of Access Rights
(Abstract)
Ravis Sandhu
pp. 259
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Model for Specifying Multi-Granularity Integrity Policies
(Abstract)
Lee Badger
pp. 269
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Authentication - Chair: T Lunt
Detection of Anomalous Computer Session Activity
(Abstract)
M.S. Vaccaro
G. E. Liepins
pp. 280
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Layering Central Authentication on Existing Distributed System Terminal Services
(Abstract)
D.M. Nessett
pp. 290
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Authenticated Group Key Distribution Scheme for a Large Distributed Network
(Abstract)
Lein Harn
Thomas Kiesler
pp. 300
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Computer Viruses - Chair:J. Anderson
Defending Systems Against Viruses through Cryptographic Authentication
(Abstract)
George L. Davida
Yvo G. Desmedt
Brian J. Matt
pp. 312
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Proposal for a Verification-Based Virus Filter
(Abstract)
Steve Crocker
pp. 319
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Computer Virus Panel - Chair: T. Berson
With Microscope and Tweezers: An Analysis of the Internet Virus of November 1988
(Abstract)
Mark W. Eichin
John A. Rochlis
pp. 326
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download
