基于微内核的VTOS安全核设计与实现

• 作者: 李锋 许翼翼 钱振江 黄皓
• 来源期刊: 软件导刊
• 学科: 工学
• 关键词: 安全核 完整性 地址隔离 消息通信
• 年，卷（期）: 2012,（5）
• 所属期刊栏目: 信息安全
• 页码范围: 122-124
• 分类号: TP309
• 字数: 3726字
• 语种: 中文

摘要

为避免操作系统中访问控制机制被篡改、旁路,基于微内核多服务器结构设计并实现了安全核,为系统的机密性和完整性提供了保障.微内核结构的简单性和模块化为安全核的形式化验证奠定了基础.原型系统VTOS的安全核为用户提供多策略的访问控制,通过微内核多服务器结构为安全服务器提供了不可旁路性和完整性保障,确保安全策略的正确实施.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄皓	南京大学计算机科学与技术学院	140	1805	24.0	35.0
2	李锋	南京大学计算机科学与技术学院	27	211	6.0	14.0
3	钱振江	南京大学计算机科学与技术学院	16	90	6.0	8.0
4	许翼翼	南京大学计算机科学与技术学院	1	1	1.0	1.0