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.