Proving a Computer System Secure." Scientific Honeyweller (1985)

by W D Young, W E Boebert, R Y Kain
Venue:26 COMPUTER LANGUAGE