secure computer systems mathematical foundations：安全计算机系统数学基础详解.pdfVIP

Secure Computer Systems: Mathematical Foundations November, 1996 An electronic reconstruction by Len LaPadula of the original MITRE Technical Report 2547, Volume I titled “Secure Computer Systems: Mathematical Foundations” by D. Elliott Bell and Leonard J. LaPadula dated 1 March 1973 ABSTRACT This paper reports the first results of an investigation into solutions to problems of security in computer systems; it establishes the basis for rigorous investigation by providing a general descriptive model of a computer system. Borrowing basic concepts and constructs from general systems theory, we present a basic result concerning security in computer systems, using precise notions of security and compromise. We also demonstrate how a change in requirements can be reflected in the resulting mathematical model. A lengthy introductory section is included in order to bridge the gap between general systems theory and practical problem solving. i PREFACE General systems theory is a relatively new and rapidly growing mathematical discipline which shows great promise for application in the computer sciences. The discipline includes both general systems-theory and general-systems-theory: that is, one may properly read the phrase general systems theory in both ways. In this paper, we have borrowed from the works of general systems theorists, principally f