可信任信息化建設示范單位
可信計算與信息保障實驗室面向國家信息技術“可信、可控”的戰略需求,開展可信計算與信息保障基礎理論研究與關鍵技術攻關。
實驗室在“立足創新,追求卓越”的方針指導下,面向國際學科前沿,突破和創新可信計算與信息保障理論和方法,引領可信計算與信息保障學術發展方向;面向國家發展戰略,攻關可信計算和信息保障核心技術和系統,為國家網絡空間信息保障體系建設提供技術支撐;面向社會發展需求,培養高端可信計算和信息保障技術專業人才。
主要研究方向:
1、 可信計算與信息保障基礎理論:體系結構、算法設計與分析、協議設計與分析
2、 可信計算與信息保障關鍵技術與系統:可信計算模塊與平臺、認證授權與網絡信任、可信操作系統與系統保障、信息對抗與網絡保障、可信數據庫與云安全
3、 可信計算與信息保障測評方法與工具:算法與協議測評方法與工具、軟件測試與逆向分析方法與工具、可信計算測評方法與工具、網絡與系統脆弱性分析方法與測評工具