David A. Farber

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
1978
Publication period end
1978
Number of co-authors
1

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

Publications

Popek, Gerald J., Farber, David A. (1978): A Model for Verification of Data Security in Operating Systems. In Communications of the ACM, 21 (9) pp. 737-749.