云操作系統(tǒng)復合信任鏈支撐機制研究（國家自然科學基金項目）；
面向可信計算平臺的操作系統(tǒng)安全機制研究（國家863項目）；
硬件協(xié)助且面向Web應用的操作系統(tǒng)信任基的最小化模型研究（國家自然科學基金項目）；
面向軍用可信計算環(huán)境的構造及評測試驗驗證研究（國家自然科學基金“可信軟件基礎研究”重大研究計劃項目）；
面向云基礎設施多租戶服務的訪問控制規(guī)則及其合成技術研究（北京市自然科學基金項目）；
操作系統(tǒng)與數(shù)據(jù)庫平臺安全核心技術研究（國家863項目）；
基于IT安全國際標準的Linux安全核心的研制（國家863項目）；
安全操作系統(tǒng)的體系結構與實現(xiàn)模式研究”（國家自然科學基金項目）。