Thomas H. Hinke Jose Althouse Richard A. Kemmerer SDC Secure Release Terminal Project. 113-119 1983 IEEE Symposium on Security and Privacy db/conf/sp/sp1983.html#HinkeAK83