David A. Farber

Publication Activity (10 Years)

Years Active: 1978-1978
Publications (10 Years): 0

Publications

Gerald J. Popek, David A. Farber
A Model for Verification of Data Security in Operating Systems. Commun. ACM 21 (9) (1978)