[Biba77] K. J. Biba Integrity Considerations for Secure Computer Systems, USAF Electronic Systems Division, 1977. [In this paper, the dual of the Bell-LaPadula model is used to achieve integrity levels in a computer system for the first time.]

Overview Drill Down