中国计算机学会青年计算机科技论坛

CCF Young Computer Scientists & Engineers Forum

YOCSEF

于2009年2月27日(星期五) 14: 00-17: 00在

北京航空航天大学新主楼会议中心第二报告厅

举行报告会，敬请光临

报告会主题

现代信息社会对计算系统的依赖，很大程度上体现为对软件的依赖。软件是信息基础设施的灵魂，随着人们对功能需求的不断增加，软件系统变得日趋庞大和难以驾驶，缺陷和漏洞难以避免，系统越来越脆弱，很多时候不以人们期望的方式工作，经常发生各种故障和失效，直接或间接地给用户带来损失。软件并不总是让人信任的，这就是我们所说的“软件可信性”问题。当前，可信软件基础研究已经成为国内外研究的热点，国家自然科学基金委员会、科技部等部门都专门设立了相关的重大研究计划和研究专项。本次报告会邀请了可信软件基础研究和应用领域的4位著名学者，从不同的视角，对可信软件基础研究和应用开发问题进行深入探讨。

程  序

13:30 签到

14:00 报告会开始

特邀讲者：何积丰 院士，华东师范大学教授、软件学院院长

演讲题目：程序语言与可信软件

特邀讲者：梅  宏 博士, 北京大学信息科学与技术学院教授、院长

演讲题目：可信软件技术－若干思考及观点

特邀讲者：王贵驷 博士，中国信息安全测评中心研究员、常务副主任

演讲题目：软件漏洞分析与软件可信性研究

特邀讲者：刘增良 博士，国防大学教授

演讲题目：值得特别关注的研究新方向——极端环境下可信软件研究　　　　

执行主席：刘  克  博士，国家自然科学基金委信息科学部二处处长

YOCSEF学术委员会委员

执行主席：单志广 博士，国家信息中心研究员、信息化研究部首席工程师

YOCSEF学术委员会委员

参加人员：IT领域专业人士、研究生、媒体、其他有兴趣者

报名联系：Email：ccf-pr@ict.ac.cn; Tel: (010)6256 2503转14; Fax: 6252 7485

因场地、会议资料有限请速报名，先报先得！

可信软件

特邀讲者:何积丰

院士，华东师范大学软件学院院长，上海市高可信计算重点实验室主任、上海市科协副主席。1965年毕业于复旦大学数学系，并进入华东师范大学工作，1986年晋升为教授。1980年至1981年，在美国斯坦福大学、旧金山大学做访问学者；1983年至1988年在英国牛津大学计算机实验室任高级研究员，1998年起任联合国大学国际软件技术研究所高级研究员。长期从事计算机软件与理论方面的研究，曾获得国家自然科学二等奖等多项国家和省部级科技奖励。2005年当选中国科学院院士。近年先后被聘为国家自然科学基金委重大研究计划指导专家组组长和科技部973项目首席科学家。

报告提要 计算机程序语言是设计各种计算机软件的基本工具，是现代软件开发技术的基础与核心。从机器语言到高级语言，计算机程序语言在编程能力与效率方面发生了巨大变化。随着程序语言复杂性的增加，其可信性问题越来越突出，引入形式化方法与软件规范，可以提高程序语言语义描述的准确性与规范性，从而为提高用程序语言设计的应用程序的可信性奠定基础。

特邀讲者:梅宏

博士，教授。中国计算机学会常务理事、系统软件专业委员会主任。北京大学信息科学与技术学院院长，高可信软件技术教育部重点实验室主任，软件工程国家工程研究中心主任。教育部长江学者奖励计划特聘教授，国家杰出青年科学基金获得者，国家自然科学基金委创新研究群体负责人，两次担任973计划项目首席科学家。研究成果获2006年国家科技进步二等奖（排名第2），2007年教育部高等学校技术发明一等奖（排名第1），2008年国家技术发明二等奖（排名第1）。主要学术兼职包括：国家863计划“十一五”信息技术领域专家组成员，国家“核高基”重大科技专项实施专家组成员，信息产业部软件构件技术标准工作组组长；中国科学F辑（信息科学）、IEEE Transaction on Service Computing等学术期刊编委。

报告提要 近几年来，“可信”一词已成为互联网时代面向网络的计算中最受关注的术语之一。几乎所有从事计算机科学技术研究的人员都能在研究中和“可信”关联上，尽管各自对该术语的理解并不尽相同。本报告拟从软件技术发展的脉络来探讨“可信”概念产生的缘由、可信软件研究和过去软件技术研究的异同、可信软件技术研究的前景等，也对当前的“可信”热发表若干不成熟的思考和观点。同时，简要介绍“十一五”863计划在可信计算方面的布局。

特邀讲者:王贵驷

博士，中国信息安全测评中心常务副主任，研究员，中国计算机学会、中国电子学会高级会员，清华大学软件学院访问教授，YOCSEF荣誉委员，中国信息产业商会信息安全产业分会副理事长。主要从事网络与信息安全研究工作，获得国家和部级科技进步一等奖各1项。

报告提要 软件漏洞的层出不穷导致互联网上重大信息安全事件频发，软件的开发面临因安全性而导致的第二次危机。对当前不可信的互联网环境中典型的软件漏洞进行分析，查找软件开发过程中引入安全漏洞的主要环节，提出当前软件可信性研究面临的几个难题。

特邀讲者:刘增良

博士，国防大学信息作战与指挥训练教研部教授，大校军衔。首届作战指挥学、信息作战学学科带头人，“国家百千万人才工程”一二层首批入选人员。兼任中国博士联谊会执行理事长、中国人工智能学会智能系统工程分会理事长，中国运筹学会模糊信息与工程分会副理事长，国家网络与信息安全办公室专家组成员等职。先后主持国家自然科学基金、863计划等20多项研究课题，出版《战场网络战》、《模糊逻辑与神经网络理论研究与探索》等专著5部。作为第一获奖人，先后有1项成果获国家科技进步二等奖，1项成果获国家自然科学奖一等奖提名；有8项成果获军队科技进步二等奖，1项成果获863高科技成果展金奖，1项成果获中国图书奖。荣立二等功1次，三等功5次。

报告提要 将以军事C4ISR关键应用领域软件可信性需求为背景，重点分析恶劣生存环境下的软件可信性需求,特殊、特定目标下可信软件需求，极端条件下的软件可信性需求，以及极端环境下软件可信度传递特性、软件可信度可控特性等典型性质。把信息战网络攻击研究与软件可信性研究结合在一起，以多角度多维度多类型渗透攻击验证为途径，研究极端环境下复杂软件高可信性攻击渗透的实验验证典型示范理论和方法。阐述对开展极端环境下可信软件研究的基本看法。

执行主席:刘克

博士。YOCSEF学术委员会委员。国家自然科学基金委员会信息科学部二处（计算机学科）处长，中国计算机学会理事。曾任北京科技大学自动化系教授、博士生导师，主要研究方向是复杂系统建模与控制、计算机应用，主持了15个科研项目，发表学术论文40余篇，合著教材2本，曾获中国科学院自然科学二等奖。近年还发表有10余篇科研管理类文章。

执行主席:单志广

博士，研究员。YOCSEF学术委员会委员。国家信息中心信息化研究部首席工程师，兼规划研究室主任。中国计算机学会理事，Petri网专业委员会秘书长；中国自动化学会理事。主要研究方向为计算机网络、系统性能评价。参与编制《国民经济和社会发展信息化“十一五”规划》，任国家信息中心规划研究起草工作组组长，参与完成了《国家发展和改革委“十一五”期间电子政务总体规划》的编制工作。主持和参与了多项国家自然科学基金、863、973项目，在国内外学术期刊和会议发表论文50余篇，合著专著1部。曾获教育部自然科学一等奖，国家信息中心创新奖、突出贡献奖。

会场方位图