Home → Magazine Archive → February 1980 (Vol. 23, No. 2) → Specification and verification of the UCLA Unix security... → Abstract

Specification and verification of the UCLA Unix security kernel

By Bruce J. Walker, Richard A. Kemmerer, Gerald J. Popek

Communications of the ACM, Vol. 23 No. 2, Pages 118-131
10.1145/358818.358825


Save PDF

There is no abstract available for this article.

0 Comments

No entries found