Browsing by Subject "Provably Secure Operating System (PSOS)"

Now showing 1 - 4 of 4
  • Thumbnail Image
    Item
    Oral history interview with Karl Levitt
    (Charles Babbage Institute, 2013-06-06) Levitt, Karl
    Computer security pioneer discusses his educational background and early career, with the bulk of the interview on his approximately four decades plus focus on computer security research. He discusses his work with fault-tolerant systems, the institutional setting and his research and management roles at SRI (including PSOS, IDES/NIDES, etc.). He also discusses joining the faculty at UC-Davis in Computer Science and launching its Computer Security Laboratory, which has been influential in educating and placing computer security specialists in academe, government, and industry. Also discussed is his post-IDES/NIDES work on intrusion detection, voting systems and security, federal funding for computer security, his program manager role for Trustworthy Computing at NSF, and other topics. This material is based upon work supported by the National Science Foundation under Grant No. 1116862, “Building an Infrastructure for Computer Security History.”
  • Thumbnail Image
    Item
    Oral history interview with Peter G. Neumann
    (Charles Babbage Institute, 2013-06-03) Neumann, Peter G.
    In this interview, computer security pioneer Peter G. Neumann relates his education at Harvard University (A.B. in Math, S.M. and Ph.D. in Applied Math), including an influential (to his perspective and career) two-hour long meeting/discussion as an undergraduate with Albert Einstein (discussing “complexity” and other topics). The vast majority of the interview addresses the many facets of his highly influential career in computer security research. With regard to the latter, this includes discussion of his work at Bell Labs and extensive involvement with MULTICS security, and his subsequent four-decade (and continuing) career as a research scientist at SRI International. He tells of his work and leadership with the Provably Secure Operating System (PSOS), research and writing on risks (including moderating the ACM Risks Forum), insider misuse and intrusion-detection systems (IDES, NIDES, EMERALD), and his current work on two DARPA-funded projects that builds on key lessons of the past to design and develop secure/trustworthy computer systems. He also relates the computer security research infrastructure and how it evolved, as well as comments on a number of other topics such as the major computer security conferences and the range of perspectives of researchers in the computer security research community. This material is based upon work supported by the National Science Foundation under Grant No. 1116862, “Building an Infrastructure for Computer Security History.”
  • Thumbnail Image
    Item
    Oral history interview with Richard Y. Kain
    (Charles Babbage Institute, 2015-05-27) Kain, Richard Y.
    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.”
  • Thumbnail Image
    Item
    Oral history interview with W. Earl Boebert
    (Charles Babbage Institute, 2015-04-28) Boebert, W. Earl
    Computer security pioneer Earl Boebert discusses his education at Stanford University before the bulk of the interview focuses on his work within the Air Force and at Honeywell. Among the topics he discusses are the Air Force Undergraduate Navigator Training System, efforts to save and market Multics (and the inherent challenges given GE’s existing systems and the economics of the mainframe business), PSOS, Sidewinder, the formation of Secure Computing Corporation. Also discussed is his role in the broader computer security research community including serving on many National Research Council committees, including the one producing the influential 1991 Computers at Risk. This material is based upon work supported by the National Science Foundation under Grant No. 1116862, “Building an Infrastructure for Computer Security History.”