| 过滤器的安全模型框架 |
| |
| 引用本文： | 宋善德,洪帆. 过滤器的安全模型框架[J]. 华中科技大学学报(自然科学版), 1994, 0(12) |
| |
| 作者姓名： | 宋善德 洪帆 |
| |
| 作者单位： | 华中理工大学计算机科学与工程系 |
| |
| 摘 要： | 采用Ｂｅｌｌ－ＬａＰａｄｕｌａ（ＢＬＰ）模型的风格及其表述方法，讨论了信息过滤器一类系统的安全模型框架。提出的过滤器模型框架扩充了ＢＬＰ模型的适用范围。结果表明，ＢＬＰ模型不仅适用于操作系统的建模，而且还适用于其它的一类系统建模。
|
| 关 键 词： | 过滤器；安全模型；系统建模 |
The Security Model Framework for a Message Filter |
| |
| Song ShangdeDept.of Computer Sci.,Eng.,H. U. S.T.,Wuhan ,China). ,Hogn Fan. The Security Model Framework for a Message Filter[J]. JOURNAL OF HUAZHONG UNIVERSITY OF SCIENCE AND TECHNOLOGY.NATURE SCIENCE, 1994, 0(12) |
| |
| Authors: | Song ShangdeDept.of Computer Sci.&Eng. H. U. S.T. Wuhan China). Hogn Fan |
| |
| Affiliation: | Song ShangdeDept.of Computer Sci.&Eng.,H. U. S.T.,Wuhan 430074,China). ,Hogn Fan |
| |
| Abstract: | |
| |
| Keywords: | filter security model system modelling |
| 本文献已被 CNKI 等数据库收录！ |
|
