王绪龙 谢立 吕志军 陈道蓄 杨国良 何丹 陈贵海 王建东 訾小超 吴琨 高瀚昭 蒋剑琴 王涛 黄达明 张有东 崔明伟 陆炜 鲁伊莎 王勇 周国强 张毓森 时静艳 包必显 郭晓峰 张衡 罗宏 袁卫忠 周根林 陈跃泉 李沁

不变性约束 程序不变量 GB17859 功能构件 分类准则 接纳控制 策略灵活 权限撤销 主动路由 完整性 人工免疫系统 构件选择 单路径 Cord演算 算法研究 程序验证 多安全策略 汉字信息处理 系统恢复 程序安全保护 弱规则 抽取算法 汉字点阵 构件 分布式拒绝服务攻击 文件系统免疫 黑洞 笔划抽取 保护轮廓 资源预约

南京大学计算机科学与技术系 南京大学计算机科学与技术系南京 解放军理工大学通信工程学院 解放军理工大学指挥自动化学院 江苏南京 软件新技术国家重点实验室 南京大学计算机科学与技术系南京2 南京大学计算机科学系