大房 NANJING UNIVERSITY 可信袅件 认识、量局评估 李宣东 C 国家重点实验室 STATE KEY LABORATORY 国家重点实验室 京火密软件学院 STATE KEY LABORATORY SEG 南京大学计算机科学与技术系 NANJING UNIVERSITY SOFTWARE INSTTTUTE李宣东 可信软件: 认识、度量与评估