Institutional Repository
| design of a micro-kernel based secure system architecture | |
| Shen Jianjun; Qing Sihan; Shen Qingni | |
| 2006 | |
| Conference Name | 7th Annual IEEE Information Assurance Workshop |
| Pages | 384-385 |
| Conference Date | JUN 21-23, |
| Conference Place | W Point, NY |
| Publish Place | 345 E 47TH ST, NEW YORK, NY 10017 USA |
| Publisher | 2006 IEEE Information Assurance Workshop |
| ISBN | 978-1-4244-0129-1 |
| Department | Chinese Acad Sci, Inst Software, Beijing 100864, Peoples R China. |
| English Abstract | 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, |
| Keyword | 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 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/12052 |
| Collection | 基础软件国家工程研究中心 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 01652123.pdf（262KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment