可信计算思考.pdf

可信软件技术 若干思考及观点 梅 宏 北京大学信息科学技术学院软件所 高可信软件技术教育部重点实验室 2009.2.27－YOCSEF ·北航 目录 绪 章：认识互联网时代的特征 正章一：认识可信性 正章二：可信软件技术 外一章：863计划对可信计算的安排 2 互联网时代特征：关键词描述 平等性 没有权威的“虚拟社会”，“草根”拥有了自由发挥 的机会 多样性 不仅仅是技术的多样性，也包含了内容的多样性、 认识的多样性、…… 创新性 提供了创新的平台，展现了创新的巨大空间 可信性 我能够信任互联网上的什么东西？ 3 产业层面的创新： 面向Internet的新型IT产业 软件即服务！ 云计算 服务计算 网格计算 传统计算机公司 …… 新型互联网公司 Internet环境及其应用 问题：IT行业还有脱离互联网的重大创新吗？ 4 技术层面的创新： 面向Internet新型计算技术 面向Internet新型计算技术的前沿研究十分活跃， 新概念层出不穷 软件形态角度 特性： 自主性 我国学者在国家 计划支持 973 协同性 反应性 下，针对Internet平台特点， 网构软件 演化性 多态性 提出的一种新型软件形态： Internet环境及其应用 云计算 对等计算 网格计算 普适计算 服务计算 语义网 资源共享角度 人机交互角度 计算模式角度 自治计算5 基本认识 五彩缤纷的时代！ 机会众多的时代！ …… 也是令人困惑的时代！ “ ” 可信性概念本身似乎也是如此！？ 6 可信性概念的多样性 可信：多种说法，众说纷纭 可信计算基（Trusted Computing Base ） 可信计算（Trustworthy Computing ） 开放式可信计算（Open Trusted Computing ） 高可信软件（High Confidence Software） 软件可靠性（Software Dependability ） 软件保证（Software Assurance ） 本质上，不同