节点文献
计算机安全和安全模型
COMPUTER SECURITY AND SECURITY MODEL
【摘要】 本文描述了计算机安全的总体概况，并对有穷状态机模型、存取矩阵模型、Ｂｅｌｌ－ＬａＰａｄｕｌａ模型以及信息流模型作了总体性论述。最后是特洛伊木马的例子。
【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.
【关键词】 计算机安全；
TCSEC标准；
特洛伊木马；
有穷状态机模型；
存取矩阵模型；
BLP安全模型；
信息流模型；
【Key words】 Computer security； TCSEC criteria； Trojan horse； finite-state machinemodel； access matrix model； Bell-Lapadula (BLP) model； information flow model；
【Key words】 Computer security； TCSEC criteria； Trojan horse； finite-state machinemodel； access matrix model； Bell-Lapadula (BLP) model； information flow model；
【基金】 国家“八五”重点科技攻关项目
- 【文献出处】 计算机研究与发展 ,JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT , 编辑部邮箱 ,1996年04期
- 【分类号】TP309
- 【被引频次】113
- 【下载频次】781