Panelpresentation理清思路搞可信計算.pptVIP

Panel presentation理清思路搞可信计算 闵应骅 Fellow of IEEE 中国科学院计算技术研究所 CFC2010 长沙，2010/6/18 IT产业的三个层次 不同层次对可信有不同要求 可靠和安全是两回事 全部麻烦就在于人加入了系统。 可靠性是高性能的指标之一 超级计算机不应该光谈千万亿次 性能：①运算速度 ②功耗 ③MTTF 怎么评估？ Dependability benchmarking for computer systems 在故障注入环境下运行LINPACK 纳米芯片的容错 串扰、生产过程变差、信噪比 最后一关是容错 检查点做到微操作一级 平行编程 方便性和正确性 云计算需要高可靠 软件可靠性 虚拟机的可靠性 用户和云通讯可靠性 海量存储的可靠性和可用性 灾难情况下的可生存性 ----- 异地备份 物联网需要高可靠 基础设施的可靠性对物联网很重要 传感器不但要节能、灵敏、小型化，还必须可靠、长寿命、抗恶劣环境、可维修性 但常不被国人重视 大型无线自组传感网信息传输的可靠性、路由的可靠性？ 特别是在某些传感器节点故障的条件下 无线自组网的故障检测和诊断 了解各传感器的状态 真正要有效益，而不是请奖的话，可靠性第一重要。 物联网建设，先做软件 软件失效的教训（2005 IEEE Spectrum） 2004年10月，一家英国食品上市公司注销了一个5.26亿美元投资的自动贮藏链管理系统项目。 Sydney Water Corp.是澳洲最大的水提供商，该公司的自动顾客信息和计费系统，花费3,320万美元，在2002年被取消。 Oxford Health Plans Inc. 在1997年，该公司的自动计费和索赔系统不能处理扩展的商务，导致4亿美元没有收上来，6.5亿美元没有付出去。 应该先写软件规范，理清思路。 信息化的实体系统(CPS)需要高可靠 没有时态语义和并发计算模型、尽力而为的网络服务不可能达到信息化实体系统的可靠和实时的要求 要包含实体动作，实时和容错是两个关键需求 现在这种可靠性水平，交通控制、汽车自动驾驶、远程卫生保健是不能用的。 对付不可预见的突发事件 下一层不完全可靠，上一层就必须健壮。 例如无线链路，不可靠、不可预料 软件系统能做到可靠、可预见吗？ 例如C语言执行就没有时限，操作系统线程管理和I/O达不到实时。 RTOS太粗，复杂起来以后不能保证实时。 怎么达到实时和可靠？ 时态语义（逻辑的或解析的） 并发编程 安全技术 安全三角形 缺一不可 安全问题是个社会问题 搞技术的是提供技术支撑 云计算需要安全 信息安全光盯着PC机，肯定是不够的。 不光是自己的PC机要被信任，自己远处的“云”也得被信任。 云成为众矢之的，易受到攻击，拜占庭容错很有必要。 信任计算的研究要面向世界。 物联网需要安全 物联网怎么保证企业和个人的信息安全？ 在概念上讲，物联网与隐私是矛盾的。 在供应链上交换货品信息，可能泄漏商业秘密。 所以，首先要解决模型的问题。 创建模型· 检验模型 信息化的实体系统需要安全 信息化的实体系统（CPS）要动真格的，非容错不可 远程手术如果不容错，谁敢做？ 智能交通控制如果不容错，怎么保障交通安全？ 自动驾驶系统必须容拜占庭故障 飞机驾驶系统现在已采用四模冗余 结束语 可信 = 可靠 + 安全 可靠是面向机器的 安全是面向人的 新的服务和环境要求更高的可信性 可信计算的研究不要从概念出发，而是要解决实际问题 具体事例、具体数据 要把可靠性、安全性当指标 INSTITUTE OF COMPUTING TECHNOLOGY CHINESE ACADEMY OF SCIENCES INSTITUTE OF COMPUTING TECHNOLOGY CHINESE ACADEMY OF SCIENCES * Reliable Dependable Secure To be trusted Component Service System 可靠吗？ 机器 系统 安全吗？ 信任它吗？