中科院软件所硕士学位论文答辩会-软件技术博物馆-中国科学院软件.docVIP

中科院软件所可信计算与信息保障部门 学位论文答辩会 第一场： 题 目：差分和线性分析的代数自动化方法 答辩人：吴生宝 导 师：王明生 研究员 题 目：RC4状态的一些弱点 答辩人：吕晶 导 师：林东岱 研究员 时 间：2014年5月25日 上午9:30 地 点：软件所5号楼813会议室 答辩会主席：蔡吉人 院 士 北京信息科学技术研究院 答辩会委员：冯登国 研究员 北京信息科学技术研究院 吴文玲 研究员 中国科学院软件研究所 张振峰 研究员 中国科学院软件研究所 张 斌 研究员 中国科学院软件研究所 第二场： 题 目：面向分布式拒绝服务攻击的安全防护绩效评估方法研究 答辩人：黄亮 导 师：冯登国 研究员 题 目：网络数据安全与隐私保护关键技术研究 答辩人：付艳艳 导 师：冯登国 研究员 题 目：无线传感器网络密钥管理方案研究 答辩人：段美姣 导 师：冯登国 研究员 题 目：基于静态分析的Android操作系统隐私保护机制评估方法研究 答辩人：曾述可（与中科大联合培养） 导 师：冯登国 研究员 时 间：2014年5月25日 下午2:00 地 点：软件所5号楼813会议室 答辩会主席：蔡吉人 院 士 北京信息科学技术研究院 答辩会委员：何良生 研究员