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/12050] ![]() |
专题 | 软件研究所_基础软件国家工程研究中心_会议论文 |
推荐引用方式 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,. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论