并行与分布计算及可信计算

研究数万处理器的高可扩展并行算法与应用软件；研究可信计算与信息保障基础理论、关键技术与系统，包括可信计算体系结构、协议设计与分析、认证授权与网络信任、信息对抗与网络保障、可信系统的测评方法与工具等。