A survey of formal models for computer security
By: Carl E. Landwehr
Contributors: Naval Research Laboratory (U.S.). Computer Science and Systems Branch
Series: NRL report -- 8489
Publisher: Naval Research Laboratory
Published: 1981
Place of publication: Washington, D.C
Language: eng
Number of pages: 36
Subjects: Computers -- Access control
Notes: Cover title

"Computer Science and Systems Branch, Information Technology Division."

"September 30, 1981."

Includes bibliographical references