Abstract: This paper describes computer security and especially discusses several security models, including finite-state machine model, access matrix model, Bell--Lapadula（BLP）model,and information flow model. Finally, Trojan horses are discussed.