For the past several years ESD has been involved in various projects relating to secure computer systems design and operation. One of the continuing efforts, started in 1972 at MITRE, has been secure computer system modeling. The effort initially produced a mathematical framework and a model [1, 2] and subsequently Read more…
Introduction This is the final report of a study, the purpose of which was to improve the computer security auditing and surveillance capability of the customer’s systems. Background Audit trails are taken by the customer on a relatively long term (weekly or monthly) basis. This data is accumulated in conjunction with normal Read more…
Details of a planning study for USAF computer security requirements are presented. An Advanced development and Engineering program to obtain an open-use, multilevel secure computing capability is described. Plans are also presented for the related developments of communications security products and the interim solution to present secure computing problems. Finally a Exploratory development plan complementary Read more…
They are papers from 1970-1988 period every serious professional or student of computer security should read. Some of them are not easy to find because they weren’t published so, the goal of this collection is to make them widely available. I’ve read almost all of them during my first years Read more…