过滤器的安全模型框架

The Security Model Framework for a Message Filter

采用Ｂｅｌｌ－ＬａＰａｄｕｌａ（ＢＬＰ）模型的风格及其表述方法，讨论了信息过滤器一类系统的安全模型框架。提出的过滤器模型框架扩充了ＢＬＰ模型的适用范围。结果表明，ＢＬＰ模型不仅适用于操作系统的建模，而且还适用于其它的一类系统建模。

The security model frameworkIor a message fiIterhas been developed using the style ofthe Bell-LaPadula(BLP) model and its description. It is shown that the BLP model, by itsmerits,is suitable not only for the modelling of an operating system but also for the mod-elling of other systems such as a message filter discussed in this paper.