Department of Defense Trusted Computer System Evaluation Criteria. DoD, dod 5200.28-std edition, December 1985. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
A Least Fixed Point Approach To Inter-Procedural Information Flow .. - Mizuno (1989) (6 citations) (Correct)
....the data structure generated by the compile time algorithm and calculates potential information flows caused by parameter passing and global variable access. The run time algorithm completes the certification by verifying the flows caused by external file access. We assume that, as described in [1], a security label is associated with each storage object (e.g. external files 2 ) and maintained by a TCB (Trusted Computing Base) Thus, as a reasonable assumption, the security classes of external files remain constant during execution of a (user) program. The specific security classes of ....
Department of Defense Trusted Computer System Evaluation Criteria. DoD, dod 5200.28-std edition, December 1985.
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