Prospect on security paradigms
Leonard J. LaPadula · 1993
This paper examines some of the beginnings of paradigm shifts in computer security. It focuses on formal models of computer security from an historical perspective. Surprisingly perhaps, the historical perspective reveals dramatic shifts. These shifts take the form of extensions, in several directions, to early formal modeling. From them we believe we can learn much and discern new growth directions that have a solid basis in the current technology of trusted computer systems. We do not present a complete list of formal computer security models; for example, the formal model for the Multinet Gateway [l] is not discussed. It may be that the framework we use is applicable to them, or at least partly applicable. More