报告题目：系统安全中的若干科学问题

报告摘要

从学术角度，信息安全一般可简单地划分为系统安全与密码学两大分支。密码学有坚实的数学及计算理论基础，所建立的密码系统可证明性强、体系持续时间长。而系统安全与密码学相比，更多呈现的是博弈和对抗。那么，系统安全中有科学问题吗？

本报告阐述系统安全中七个方面的科学问题，并重点介绍系统安全中与软件相关的若干基础性问题，抛砖引玉，与大家共同研讨。

报告人简介

邹维研究员，现任中国科学院信息工程研究所学术委员会主任、中国计算机学会计算机安全专业委员会常务委员、中国信息协会信息安全专业委员会副主任委员、国家计算机网络与信息安全管理中心学术委员会技术组委员、教育部全国计算机等级考试委员会委员。曾两次获得国家科技进步二等奖、国务院颁发的政府特殊津贴、“新世纪百千万人才工程”北京市级人选称号、中国科学院国内“百人计划”人选、中国计算机学会及北京大学优秀博士论文指导教师。科技部863计划/支撑计划、国家基金委自然科学基金、国家发改委信息安全专项、国家保密局科技项目、国家242信息安全计划等评审专家。

邹维研究员长期致力于网络与软件安全研究，带领团队在整数溢出漏洞挖掘、模糊测试中穿透校验和（Checksum）检查、漏洞消减、移动终端软件安全检测等方面取得重要突破，运用所研究的技术成功发现10多个零日漏洞，获中国国家漏洞库CNNVD及美国漏洞管理机构CVE收录确认。发表学术论文50余篇，研究成果在TISSEC、JCS、S&P、NDSS、ACSAC、ESORICS等国际顶级或著名期刊及会议上发表，获得国际同行关注，作为国内首位学者入选信息安全国际顶级会议S&P2013程序委员会