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

• 作者: 沈昌祥 蔡谊 郑志蓉
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: 操作系统 应用类 BLP模型 Biba模型 B/S应用
• 年，卷（期）: 2005,（2）
• 所属期刊栏目: 软件技术
• 页码范围: 322-328
• 页数: 7页
• 分类号: TP309|TP316
• 字数: 6865字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蔡谊	海军工程大学电气工程系	12	225	6.0	12.0
3	沈昌祥	海军工程大学电气工程系	85	1836	20.0	41.0
5	郑志蓉	海军工程大学电气工程系	23	139	6.0	11.0