Proceedings of the 1990 IEEE Computer Society Symposium on [title], held in Oakland, Calif., May 1990. The sessions are devoted to secure systems, databases, information flow, access control and integrity, authentication, auditing and intrusion detection, verification, and challenges of the 1990s. No subject index. Annotation copyright Book News, Inc. Portland, Or.