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

形式化方法 访问控制 隐蔽通道标识 信息流 程序静态分析 安全管理 信息安全 覆盖准则 路径爆炸 信任路径 安全操作系统 安全策略 信任网络 安全测试 数据流 语义抽象 测试案例生成 内存访问错误 恶意实体 安全评估 别名 源代码 软件安全

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