N. A. Waldhart The Army Secure Operating System. 50-60 1990 IEEE Symposium on Security and Privacy db/conf/sp/sp1990.html#Waldhart90