共 1 条
操作系统安全结构框架中应用类通信安全模型的研究
被引：7
作者：
郑志蓉
蔡谊
沈昌祥
机构：
[1] 海军工程大学电气工程系
[2] 海军计算技术研究所
来源：
关键词：
操作系统;
应用类;
BLP模型;
Biba模型;
B/S应用;
D O I：
暂无
中图分类号：
TP309 [安全保密];
TP316 [操作系统];
学科分类号：
081201 ;
0839 ;
1402 ;
摘要：
经典的BLP模型是解决保密性问题的理论基础 ,Biba模型是一种简明易实现的完整性模型 在应用系统中数据的共享和安全是一对矛盾 在将应用系统抽象为应用类的基础上 ,引入完整性规则集代表信息的可信度 ,结合BLP模型和Biba模型构造了一种应用类通信的安全模型 ,并给出了模型的形式化描述和正确性证明 应用类通信安全模型不仅解决了保密性问题 ,而且解决了完整性问题 以支持B/S文电传输应用系统的安全为例 ,给出了在操作系统中实现应用类通信安全模型的方法 ,分析了模型实现的有效性
引用
收藏
页码：322 / 328
页数：7
相关论文