摘要
本文描述了计算机安全的总体概况，并对有穷状态机模型、存取矩阵模型、Ｂｅｌｌ－ＬａＰａｄｕｌａ模型以及信息流模型作了总体性论述。最后是特洛伊木马的例子。
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.
出处
《计算机研究与发展》
EI
CSCD
北大核心
1996年第4期312-320,共9页
Journal of Computer Research and Development
基金
国家"八五"重点科技攻关项目
关键词
计算机安全
TCSEC标准
安全模型
Computer security, TCSEC criteria, Trojan horse, finite-state machinemodel,access matrix model, Bell-Lapadula (BLP) model, information flow model
