A survey of formal models for computer security /

A survey of formal models for computer security / Carl E. Landwehr.

Saved in:
Bibliographic Details
Main Author: Landwehr, Carl E.
Corporate Author: Naval Research Laboratory (U.S.). Computer Science and Systems Branch
Format: Government Document Book
Language:English
Published: Washington, D.C. : Naval Research Laboratory, [1981]
Series:NRL report ; 8489.
Subjects:
Computers > Access control.
Description
Item Description:Cover title.
"Computer Science and Systems Branch, Information Technology Division."
"September 30, 1981."
Physical Description:iii, 36 pages : illustrations ; 27 cm.
Bibliography:Includes bibliographical references.

Similar Items