SDC Secure Release Terminal Project. - Thomas H. Hinke; Jose Althouse; Richard A. Kemmerer (S&P, 1983)