| 过滤器的安全模型框架 |
| |
| 引用本文： | 宋善德,洪帆.过滤器的安全模型框架[J].华中科技大学学报(自然科学版),1994(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(12). |
| |
| Authors: | Song ShangdeDeptof Computer Sci&Eng H U ST Wuhan China Hogn Fan |
| |
| Institution: | Song ShangdeDept.of Computer Sci.&Eng.,H. U. S.T.,Wuhan 430074,China).
,Hogn Fan |
| |
| Abstract: | |
| |
| Keywords: | filter security model system modelling |
| 本文献已被 CNKI 等数据库收录！ |
|
