现代信息社会对计算系统的依赖，很大程度上体现为对软件的依赖。软件是信息基础设施的灵魂，随着人们对功能需求的不断增加，软件系统变得日趋庞大和难以驾驶，缺陷和漏洞难以避免，系统越来越脆弱，很多时候不以人们期望的方式工作，经常发生各种故障和失效，直接或间接地给用户带来损失。软件并不总是让人信任的，这就是我们所说的“软件可信性”问题。
YOCSEF哈尔滨分论坛于
当前，可信软件基础研究已经成为国内外研究的热点，国家自然科学基金委员会专门设立了“可信软件基础研究”重大研究计划，单志广研究员是该重大研究计划指导委员会的学术秘书，对该计划的提出、重大需求、学术目标、科学问题、课题设置等内容给出了详细的介绍。以该重大研究计划为背景，探讨我国在可信软件基础研究和应用领域的最新进展。
主题演讲结束之后，参会的YOCSEF哈尔滨AC委员、教师、学生纷纷就可信软件的相关问题与
（王忠杰供稿）
京公网安备 11010802032778号
所有评论仅代表网友意见