design of a micro-kernel based secure system architecture
文献类型：会议论文
| 作者 | Shen Jianjun ; Qing Sihan ; Shen Qingni |
| 出版日期 | 2006 |
| 会议名称 | 7th Annual IEEE Information Assurance Workshop |
| 会议日期 | JUN 21-23, |
| 会议地点 | W Point, NY |
| 关键词 | 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 |
| 页码 | 384-385 |
| 英文摘要 | 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, |
| 会议录出版者 | 2006 IEEE Information Assurance Workshop |
| 会议录出版地 | 345 E 47TH ST, NEW YORK, NY 10017 USA |
| ISBN号 | 978-1-4244-0129-1 |
| 源URL | [http://124.16.136.157/handle/311060/12052]  |
| 专题 | 软件研究所_基础软件国家工程研究中心_会议论文 |
| 推荐引用方式 GB/T 7714 | Shen Jianjun,Qing Sihan,Shen Qingni. design of a micro-kernel based secure system architecture[C]. 见:7th Annual IEEE Information Assurance Workshop. W Point, NY. JUN 21-23,. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。