Kain, Richard Y.2015-09-032015-09-032015-05-27Richard Y. Kain, OH 459. Oral history interview by Thomas J. Misa, 27 May 2015, Minneapolis, Minnesota. Charles Babbage Institute, University of Minnesota, Minneapolis.OH 459https://hdl.handle.net/11299/174207Transcript, 100pp.Richard Y. Kain discusses his graduate education in computing and his work as a professor at MIT, including consulting with Bolt Beranek and Newman (BBN). The interview focuses on his consulting work with Earl Boebert at Honeywell on several iterations of the Provably Secure Operating System including the spin-off Secure Computing Corporation. It also describes his career as an electrical engineering professor at the University of Minnesota and interactions with the local computer industry. This material is based upon work supported by the National Science Foundation under Grant No. 1116862, “Building an Infrastructure for Computer Security History.”enComputer historyComputer securityMassachusetts Institute of Technology (MIT)Univac File computerHuffman, DavidUniversity of MinnesotaHoneywell – Systems and Research CenterBoebert, EarlProvably Secure Operating System (PSOS)Type enforcementSecure Ada TargetSecure Computing CorporationLandwehr, CarlCovert channelsOral History