Author: David A. Farber

Publications

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

Co-authors

Number of publications with favourite co-authors
Gerald J. Popek
1

Productive Colleagues

Most productive colleagues in number of publications
Gerald J. Popek
4

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.

New to UX Design? We're Giving You a Free eBook!

The Basics of User Experience Design

Download our free ebook “The Basics of User Experience Design” to learn about core concepts of UX design.

In 9 chapters, we’ll cover: conducting user interviews, design thinking, interaction design, mobile UX design, usability, UX research, and many more!

A valid email address is required.
316,519 designers enjoy our newsletter—sure you don’t want to receive it?

New to UX Design? We're Giving You a Free eBook!

The Basics of User Experience Design

Download our free ebook “The Basics of User Experience Design” to learn about core concepts of UX design.

In 9 chapters, we’ll cover: conducting user interviews, design thinking, interaction design, mobile UX design, usability, UX research, and many more!

A valid email address is required.
316,519 designers enjoy our newsletter—sure you don’t want to receive it?