操作系统安全结构框架中应用类通信安全模型的研究

摘要：

经典的BLP模型是解决保密性问题的理论基础,Biba模型是一种简明易实现的完整性模型.在应用系统中数据的共享和安全是一对矛盾.在将应用系统抽象为应用类的基础上,引入完整性规则集代表信息的可信度,结合BLP模型和Biba模型构造了一种应用类通信的安全模型,并给出了模型的形式化描述和正确性证明.应用类通信安全模型不仅解决了保密性问题,而且解决了完整性问题.以支持B/S文电传输应用系统的安全为例,给出了在操作系统中实现应用类通信安全模型的方法,分析了模型实现的有效性.

关键词：操作系统、应用类、BLP模型、Biba模型、B/S应用

所属期刊栏目：42

分类号：TP309;TP316(计算技术、计算机技术)

资助基金：国家重点基础研究发展计划973计划G1999035801

在线出版日期：2005-04-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：322-328