Author: David A. Farber
Publications
Publication period start: 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.