本次报告会的主题是“可信软件”,选题是近期学术界和产业界关心的热点和难点问题,本次报告会邀请了可信软件基础研究和应用领域的4位著名学者,包括华东师范大学何积丰院士、北京大学
国家自然科学基金委员会“可信软件基础研究”重大研究计划指导专家组组长何积丰院士作了《程序语言与可信计算》的报告,系统回顾了软件的发展历程和趋势,着重阐述了程序语言本身的发展过程,指出:计算机程序语言是设计各种计算机软件的基本工具,是现代软件开发技术的基础与核心;从机器语言到高级语言,计算机程序语言在编程能力与效率方面发生了巨大变化;随着程序语言复杂性的增加,其可信性问题越来越突出。何院士全面总结了可信软件面临的科学挑战,提出了可信软件研究的三个科学问题,即软件可信性的度量与建模、可信软件的构造与验证、可信软件的演化与控制,指出:引入形式化方法与软件规范,可以提高程序语言语义描述的准确性与规范性,从而为提高用程序语言设计的应用程序的可信性奠定基础。何院士还介绍了“可信软件基础研究”重大研究计划的实施情况。
北京大学
中国信息安全测评中心常务副主任王贵驷研究员作了《软件漏洞分析与软件可信性研究》的报告,指出当前软件漏洞的层出不穷导致了互联网上重大信息安全事件频发,使得软件的开发面临因安全性而导致的第二次危机。他重点对当前互联网环境中典型的软件漏洞进行了分析,查找软件开发过程中引入安全漏洞的主要环节,并提出当前软件可信性研究面临的几个难题。
国防大学
YOCSEF学术委员会胡事民、马华东、张莉、等荣誉委员,陈小武、王千祥、金蓓弘、汪东升、孙毓忠、赵耀、王健、王涛(候任AC委员)等AC委员,吴余龙、贲可荣、张自力等武汉、重庆分论坛的新老委员以及天津大学、重庆大学、西南大学等外地代表参加了本次报告会。本次学术报告会得到了北京航空航天大学虚拟现实技术与系统国家重点实验室的鼎力支持。中国计算机学会副理事长、北京航空航天大学常务副校长怀进鹏教授出席了本次报告会。280多人的火爆场面在人数上创造了本届学术委员会已举办的活动规模之最。
相关资料链接:何积丰-程序语言与可信计算(PDF) 梅宏-可信软件技术——若干思考及观点(PDF)
(志广初稿,小武、刘克修订)
(图为特邀讲者,左起依次为何积丰、梅宏、王贵驷、刘增良)
(图为报告会火爆现场,200个座位座无虚席,另还有80人站着听报告)
(图为执行主席和讲者,左起依次为单志广和梅宏、刘克和王贵驷)