姚立红 周国强 丁洪达 茅兵 王伟光 訾小超 支雷磊 黄达明

形式化方法 访问控制 隐蔽通道标识 信息流 程序静态分析 安全管理 信息安全 覆盖准则

计算机科学与技术系 南京大学计算机科学与技术系 南京大学计算机软件新技术国家重点实验室