... Lindgren and I.Herschberg, Computers and Security, Vol.13, No .4 (19 94) , p.317 [69] “New Thinking About Information Technology Security , Marshall Abrams and Michael Joyce, Computers and Security, ... Extensions to the Lattice Model for Computer Security , Jie Wu, Eduardo Fernandez, and Ruigang Zhang, Computers and Security, Vol.11, No .4 (July 1992), p.357 [44 ] “Exploiting the Dual Nature of Sensitivity ... and Leonard LaPadula, M 74- 244 , MITRE Corporation, 1973 “Mathematics, Technology, and Trust: Formal Verification, Computer Security, and the US Military”, Donald MacKenzie and Garrel Pottinger,...