Browsing by Subject "Bell-LaPadula Model"

Now showing 1 - 4 of 4
  • Thumbnail Image
    Item
    Oral history interview with David Elliott Bell
    (Charles Babbage Institute, 2012-09-24) Bell, David Elliott
    David Elliott Bell is a mathematician and computer security pioneer who co-developed the highly influential Bell-LaPadula security model. This interview discusses the context of his pivotal computer security work at MITRE Corporation, and his later contributions at the National Security Agency and Trusted Information Systems (including his leadership on TIS’s Trusted Xenix B2-rated system). 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 John D. McLean
    (Charles Babbage Institute, 2014-04-22) McLean, John D.
    In this oral history, computer security pioneer John McLean begins by discussing his graduate education in logic as well as computer science (working with Dave Parnas). The interview focuses on McLean’s long tenure at the Naval Research Laboratory (NRL)—serving as a scientist, supervisory scientist, and later, as a senior administrator (Superintendent of the Information Technology Division of NRL). Among other topics, McLean discusses his collaboration with Carl Landwehr and Constance Heitmeyer on a security model for the Military Message Systems, his (System Z) counterexample that challenged a premise of the Bell-LaPadula security model, the origins of the Foundations Workshop, and managerial roles at NRL. 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 Marvin Schaefer
    (Charles Babbage Institute, 2013-11-20) Schaefer, Marvin
    This interview with computer security pioneer Marvin Schaefer discusses his roles and perspectives on computer security work at the System Development Corporation over many years (an organization he began working at in the summer of 1965), as well as his work at the National Computer Security Center in helping to create the Trusted Computer System Evaluation Criteria (TCSEC). With the latter he relates the challenges to writing the criteria, the debates over the structure and levels, and the involvement of criteria lawyers. He also summarizes his work at the company Trusted Information Systems. In addition to detailing his pivotal work in computer security, he offers insightful commentary on issues in the field such as the Bell-LaPadula Model, John McLean’s System Z, 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 Steven B. Lipner
    (Charles Babbage Institute, 2012-08-15) Lipner, Steven B.
    Steven B. Lipner is a computer security pioneer with more than 40 years of experience as a researcher, development manager, and general manager in IT Security. He helped form and served on the Anderson Panel for the Air Force in the early 1970s (was MITRE’s representative), oversaw path breaking computer security high assurance mathematical model work at MITRE later that decade, was a leader in Digital Equipment Corporation’s (DEC) effort to build an A1 (TCSEC certification) system in the 1980s, and led the creation of Microsoft’s Security Development Lifecycle in the 2000s. This interview focuses primarily on Lipner’s involvement on the Anderson Panel, his work at MITRE, and his work at DEC. This material is based upon work supported by the National Science Foundation under Grant No. 1116862, “Building an Infrastructure for Computer Security History.”