188体育app官网_188体育投注

2009年2月27日下午，“可信软件”YOCSEF学术报告会在北京航空航天大学新主楼会议中心第二报告厅举行。本次学术报告会经过YOCSEF学术委员会的精心组织和广泛宣传，共吸引了约280多名观众参会，能容纳200人的会议室座无虚席，在下午2点报告会正式开始时，会场门口签到的观众仍然排着长队等待进场，近80名与会者站了2小时聆听特邀讲者的精彩演讲，现场气氛格外火爆，观众提问踊跃，属近来少有。

本次报告会的主题是“可信软件”，选题是近期学术界和产业界关心的热点和难点问题，本次报告会邀请了可信软件基础研究和应用领域的4位著名学者，包括华东师范大学何积丰院士、北京大学梅宏教授、中国信息安全测评中心王贵驷研究员和国防大学刘增良教授，他们从不同的视角，对可信软件基础研究和应用开发问题进行深入探讨。本次学术报告会由YOCSEF AC委员、国家自然科学基金委员会信息科学部刘克处长和国家信息中心信息化研究部首席工程师单志广研究员共同主持。

国家自然科学基金委员会“可信软件基础研究”重大研究计划指导专家组组长何积丰院士作了《程序语言与可信计算》的报告，系统回顾了软件的发展历程和趋势，着重阐述了程序语言本身的发展过程，指出：计算机程序语言是设计各种计算机软件的基本工具，是现代软件开发技术的基础与核心；从机器语言到高级语言，计算机程序语言在编程能力与效率方面发生了巨大变化；随着程序语言复杂性的增加，其可信性问题越来越突出。何院士全面总结了可信软件面临的科学挑战，提出了可信软件研究的三个科学问题，即软件可信性的度量与建模、可信软件的构造与验证、可信软件的演化与控制，指出：引入形式化方法与软件规范，可以提高程序语言语义描述的准确性与规范性，从而为提高用程序语言设计的应用程序的可信性奠定基础。何院士还介绍了“可信软件基础研究”重大研究计划的实施情况。

北京大学梅宏教授作了《可信软件技术若干思考及观点》的报告，他从认识互联网时代的特征谈起，指出可信性已经成为互联网众多典型的时代特征之一，并从软件技术发展的脉络探讨了“可信”概念产生的缘由、可信软件研究与过去软件技术研究的异同、可信软件技术研究的前景等，并对当前的“可信”热发表了若干自己的独特思考和观点。同时，梅教授还介绍了“十一五”863计划在可信计算方面的布局情况。

中国信息安全测评中心常务副主任王贵驷研究员作了《软件漏洞分析与软件可信性研究》的报告，指出当前软件漏洞的层出不穷导致了互联网上重大信息安全事件频发，使得软件的开发面临因安全性而导致的第二次危机。他重点对当前互联网环境中典型的软件漏洞进行了分析，查找软件开发过程中引入安全漏洞的主要环节，并提出当前软件可信性研究面临的几个难题。

国防大学刘增良教授作了《值得特别关注的研究新方向—极端环境下可信软件研究》的报告，他以C4ISR关键应用领域软件可信性需求为背景，重点分析了恶劣生存环境下的软件可信性需求，特殊、特定目标下可信软件需求，极端条件下的软件可信性需求，以及极端环境下软件可信度传递特性、软件可信度可控特性等典型性质。报告把信息网络防御研究与软件可信性研究结合在一起，以多角度多维度多类型渗透防御验证为途径，介绍了极端环境下复杂软件高可信性防御渗透的实验验证典型示范理论和方法。

YOCSEF学术委员会胡事民、马华东、张莉、等荣誉委员，陈小武、王千祥、金蓓弘、汪东升、孙毓忠、赵耀、王健、王涛（候任AC委员）等AC委员，吴余龙、贲可荣、张自力等武汉、重庆分论坛的新老委员以及天津大学、重庆大学、西南大学等外地代表参加了本次报告会。本次学术报告会得到了北京航空航天大学虚拟现实技术与系统国家重点实验室的鼎力支持。中国计算机学会副理事长、北京航空航天大学常务副校长怀进鹏教授出席了本次报告会。280多人的火爆场面在人数上创造了本届学术委员会已举办的活动规模之最。

相关资料链接：何积丰-程序语言与可信计算（PDF） 梅宏-可信软件技术——若干思考及观点（PDF）

（志广初稿，小武、刘克修订）

（图为特邀讲者，左起依次为何积丰、梅宏、王贵驷、刘增良）

 （图为报告会火爆现场，200个座位座无虚席，另还有80人站着听报告）

（图为执行主席和讲者，左起依次为单志广和梅宏、刘克和王贵驷）