Inter-partition Information Flow Control for High-Assurance Embedded Systems

Xia Yang, Jian Lei, Guang-Ze Xiong. Inter-partition Information Flow Control for High-Assurance Embedded Systems. In Mark Burgin, Masud H. Chowdhury, Chan H. Ham, Simone A. Ludwig, Weilian Su, Sumanth Yenduri, editors, CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31 - April 2, 2009, Los Angeles, California, USA, 7 Volumes. pages 456-460, IEEE Computer Society, 2009. [doi]

Authors

Xia Yang

This author has not been identified. Look up 'Xia Yang' in Google

Jian Lei

This author has not been identified. Look up 'Jian Lei' in Google

Guang-Ze Xiong

This author has not been identified. Look up 'Guang-Ze Xiong' in Google