Shopping Cart Shopping Cart 0 items
info@oldcomputerbooks.com
Item Details
1984 Symposium on Security and Privacy, Proceedings, IEEE Computer Society. IEEE, various contributing authors.

1984 Symposium on Security and Privacy, Proceedings, IEEE Computer Society.

IEEE Computer Society Calif. 1984, 227 pages, double-column text.
Condition: Very Good overall, ex-university label at lower front cover, orange library hardcover binding, pages clean and sound.
Price: $10.00
Item no. R164
Item Description
Includes Sections on Operating Sytems; Architectural Requirements; Database Systems; Cryptography; Security and verification with Ada; Verification; Networks and formal methods; special report; Work in Progress towards AI Systems; MORE

Papers include Attacks on computers - pending Congressional hearings; Comparison Paper Between the Bell and LaPadula Model and the SRI Model; MMS security model; Formal verification of a secure network with end-to-end encryption; Searching for public-key cryptosystems; Unwinding and inference control; Analysis of a Kernel verification; An augmented capability architecture to support lattice security and traceability of access; MORE mb1.