Fundamentals of Computer Security Technology

Threats to computer systems threat trees categorization of attacks Trojan horses and viruses common attack methods security labels the lattice of security labels security policies the Bell-Lapadula disclosure model BLM analysis and debate non-deductibility and non-interference security the Biba integrity model the Clark-Wilson integrity model denial of service safeguards and countermeasures auditing intrusion detection identification and authentication passwords encryption key management protocols access control covert channels composing security privileges and roles security kernels network security database security security evaluation greatest works in computer security.