Formal verification of an operating system security kernel / by Richard A. Kemmerer.
By: Kemmerer, Richard A.
Material type: TextPublisher: Ann Arbor, Mich. : UMI Research Press, c1982Description: x, 317 p.ISBN: 0835713229.Subject(s): Operating systems (Computers)DDC classification: 005.8Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Book | Dr. B. R. Ambedkar Central Library Science | 005.8 K317 Fo (Browse shelf(Opens below)) | Available | 119915 |
There are no comments on this title.