A model for verification of data security in SHAN77 operating systems (1978)

by G J POPEK, D A FARBER
Venue:Commun. ACM