Author: Bruce J. Walker

Publication Overview

Publication period start: 1980
Number of co-authors: 2

Co-Authors

Number of publications with favourite co-authors

Richard A. Kemmerer
1
Gerald J. Popek
1

Productive Colleagues

Most productive colleagues in number of publications

Richard A. Kemmerer
2
Gerald J. Popek
4

Publications

Walker, Bruce J., Kemmerer, Richard A., Popek, Gerald J. (1980): Specification and Verification of the UCLA Unix Security Kernel. In Communications of the ACM, 23 (2) pp. 118-131.

Privacy Settings

By using this site, you accept our Cookie Policy and Terms of Use.
Customize
Accept all

Learn Design and AI From the Best

Get one powerful email each week, like 314,487 others.

Next email in: