微内核完整性保障研究与应用

• 作者: 于淑英 刘国斌 黄皓
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 完整性 安全保障、微内核多服务器结构 进程隔离 消息通信
• 年，卷（期）: 2009,（1）
• 所属期刊栏目: 软件工程
• 页码范围: 247-251
• 页数: 5页
• 分类号: TP3
• 字数: 6054字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2009.01.064

摘要

为了避免安全操作系统中访问控制机制被篡改、绕过,提出利用微内核多服务器结构为安全核完整性提供保障.微内核提供的进程隔离和消息传递机制使得各个服务进程独立运行,通过受控的消息机制进行交互,有效保证了各个模块的完整性.微内核结构的简单性和模块化为形式化验证奠定了基础.原型系统Nutos利用Flask安全体系结构为用户提供灵活多策略的强制访问控制,由微内核多服务器结构为Flask中的安全服务器和引用监控器提供完整性保障,确保安全策略的正确实施.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄皓	南京大学计算机科学与技术系软件新技术国家重点实验室	140	1805	24.0	35.0
2	于淑英	南京大学计算机科学与技术系软件新技术国家重点实验室	3	17	2.0	3.0
3	刘国斌	南京大学计算机科学与技术系软件新技术国家重点实验室	1	11	1.0	1.0