D. E. Bell and L. J. La Padula, Security computer systems : mathematical foundations, Technical Report FSD-TR-73278, Hanscom Air Force Base, Bedford, MA, 1973. 146 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Formal Description and Validation for an Integrity Policy .. - Fantechi, Gnesi, Semini (1999) (Correct)
....is to isolate critical components, but complete isolation is not always possible because of the inevitable cooperation among the various parts of the system. A compromise among the high cost of the first solution, and the non effectiveness of the second one, is defined by an integrity policy [1, 4, 10, 25]: it is not needed to validate all the components with the same effort, but only those which accomplish a critical task and those which provide data to these task critical components. An integrity policy assigns a level of criticality to each component of an application. The highest the level ....
Bell, D.E., LaPadula, L.J., "Security Computer Systems: Mathematical foundations and model", Technical Report M74-244, MITRE Corp., Bedford, Mass., 1974.
Support for Automated Passive Host-Based Intrusion Response - Gehani (2003) (Correct)
No context found.
D. E. Bell and L. J. La Padula, Security computer systems : mathematical foundations, Technical Report FSD-TR-73278, Hanscom Air Force Base, Bedford, MA, 1973. 146
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC