IEEE - Institute of Electrical and Electronics Engineers, Inc. - Inter-partition Information Flow Control for High-Assurance Embedded Systems

2009 WRI World Congress on Computer Science and Information Engineering, CSIE

Author(s): Xia Yang ; Jian Lei ; Guang-ze Xiong
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 March 2009
Conference Location: Los Angeles, California USA, USA
Conference Date: 31 March 2009
Volume: 2
Page(s): 456 - 460
ISBN (Paper): 978-0-7695-3507-4
DOI: 10.1109/CSIE.2009.656
Regular:

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... View More

Advertisement