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.

• 本文描述了计算机安全的总体概况，并对有穷状态机模型、存取矩阵模型、Bell－LaPadula模型以及信息流模型作了总体性论述。