| design of a micro-kernel based secure system architecture | |
| Shen Jianjun; Qing Sihan; Shen Qingni | |
| 2006 | |
| 会议名称 | 7th Annual IEEE Information Assurance Workshop |
| 页码 | 384-385 |
| 会议日期 | JUN 21-23, |
| 会议地点 | W Point, NY |
| 出版地 | 345 E 47TH ST, NEW YORK, NY 10017 USA |
| 出版者 | 2006 IEEE Information Assurance Workshop |
| ISBN | 978-1-4244-0129-1 |
| 部门归属 | Chinese Acad Sci, Inst Software, Beijing 100864, Peoples R China. |
| 摘要 | We describe the Trium secure system architecture. It is based on Fiasco - an implementation of the L4 microkernel interface - and LAEnv - a programming environment for 1.4 systems. Compared to previous work on microkernel based secure systems, |
| 关键词 | Fiasco L4 Microkernel Interface L4env Trium Secure System Architecture Legacy Software Operating System Privilege Control Trusted Computing Base Application Program Interfaces Operating System Kernels Security Of Data Software Maintenance Software Reusabi |
| 内容类型 | 会议论文 |
| URI标识 | http://ir.iscas.ac.cn/handle/311060/12050 |
| 专题 | 基础软件国家工程研究中心 |
| 推荐引用方式 GB/T 7714 | Shen Jianjun,Qing Sihan,Shen Qingni. design of a micro-kernel based secure system architecture[C]. 345 E 47TH ST, NEW YORK, NY 10017 USA:2006 IEEE Information Assurance Workshop,2006:384-385. |
| 条目包含的文件 | ||||||
| 文件名称/大小 | 文献类型 | 版本类型 | 开放类型 | 使用许可 | ||
| 01652123.pdf（262KB） | 开放获取 | -- | 请求全文 | |||
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论