Skip to main content

Department of Computer Science Technical Reports

Proving Protection Systems Safe

D. E. Denning
P. J. Denning
S. J. Garland
M. A. Harrison
W.L. Ruzzo

Date of this Version

1976

Tech Report Number

76-209

Number of Pages

23

Included in

Computer Sciences Commons

COinS