Liu Xing Li Yan Cai Mian Guo Ying The Testing and Evaluating System for the Security Operating System Based on the Mechanism of Keyword-Driven. 471-474 2009 IAS http://dx.doi.org/10.1109/IAS.2009.80 conf/IEEEias/2009 db/conf/IEEEias/IEEEias2009.html#XingYMY09