Title: Toward secure TUNIS: a trusted operating system
First published: 1988