基于multisim的竞争冒险消除法 |
| |
引用本文: | 李锋,许翼翼,黄皓,钱振江.基于multisim的竞争冒险消除法[J].教育技术导刊,2012,11(5):122-124. |
| |
作者姓名: | 李锋 许翼翼 黄皓 钱振江 |
| |
作者单位: | 南京大学计算机科学与技术学院; |
| |
摘 要: | 为避免操作系统中访问控制机制被篡改、旁路,基于微内核多服务器结构设计并实现了安全核,为系统的机密性和完整性提供了保障。微内核结构的简单性和模块化为安全核的形式化验证奠定了基础。原型系统VTOS的安全核为用户提供多策略的访问控制,通过微内核多服务器结构为安全服务器提供了不可旁路性和完整性保障,确保安全策略的正确实施。
|
关 键 词: | 安全核 完整性 地址隔离 消息通信 |
|
| 点击此处可从《教育技术导刊》浏览原始摘要信息 |
| 点击此处可从《教育技术导刊》下载免费的PDF全文 |
|