1. Secure Computer Systems: Mathematical Foundations and Model;Bell,1973
2. Integrity Considerations for Secure Computer Systems;Biba,1977
3. Computer Viruses-Theory and Experiments;Cohen,1984
4. Secure Information Flow in Computer Systems;Denning,1975
5. Cryptography and Data Security;Denning,1982