This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2009 WRI World Congress on Computer Science and Information Engineering
Inter-partition Information Flow Control for High-Assurance Embedded Systems
Los Angeles, California USA
March 31-April 02
ISBN: 978-0-7695-3507-4
High-assurance embedded systems have very strict requirement in both design and analysis. This paper presents a trusted architecture named Hades to high-assurance system design for security and safety-critical embedded systems with MLS, which is based on the concept of separation. We define a rule that only authorized data can be transferred among partitions to absolutely guarantee the security and safety for high-assurance embedded systems. The inter-partition information flow control mechanism for Hades architecture can prevent untrustworthy and low-level partitions from violating other partitions, by means of which the security and safety of high-assurance embedded systems are assured.
Citation:
Xia Yang, Jian Lei, Guang-ze Xiong, "Inter-partition Information Flow Control for High-Assurance Embedded Systems," csie, vol. 2, pp.456-460, 2009 WRI World Congress on Computer Science and Information Engineering, 2009
Usage of this product signifies your acceptance of the Terms of Use.