公开版-开放可信平台和下一代智能OS(7-13).pptVIP

* 可信计算北京市重点实验室 * 实例2：openstack上的可信架构 * 可信计算北京市重点实验室 * Linux版本试用版已完成 Window版本的移植正在进行中 将成为北工大可信云架构的核心技术 已在北工大学生社区推广 已有数家单位开始试用 今年9-10月发布试用版和教程 年内完整版正式发布并提供教材 开放可信平台的进展情况 * 可信计算北京市重点实验室 * 可信计算基本概念 开放可信平台 下一代智能OS * 可信计算北京市重点实验室 * 全栈工程师网 百度“FSEN即可查到 发起人:魏永明 miniGUI开发者 《Linux device driver》第二版、第三版翻译者 飞漫公司总裁 下一代智能OS网址 * 可信计算北京市重点实验室 * 2015.5.23 清华NGOS第二次沙龙后晚宴 章 文 嵩 李 卓 桓 张 福 新 宋 美 娜 魏 永 明 陶 品 陈 昊 * 可信计算北京市重点实验室 * 2015.6.15 NGOS第三次沙龙 宫 力 罗 未 刘 智 聪 马 天 夫 熊 谱 翔 康 晓 宁 陈 渝 * 可信计算北京市重点实验室 * 一种编程语言（JavaScript）全栈开发。 运行在传统操作系统之上，抹平云到端的差异。 将智能硬件、智能终端、云端的计算机系统看成一个虚拟的、抽象的计算环境。 将计算机系统上运行的不同应用看成是上述抽象计算环境中的抽象设备。 为上面的抽象设备提供全新的操作原语和 API，如传统操作系统中的文件、套接字一样。 NGOS的设想 * 可信计算北京市重点实验室 * 简而言之 * 可信计算北京市重点实验室 * 整体架构 * 可信计算北京市重点实验室 * 大神们设计架构、协议和API，实现核心代码。 专业开发者们参与开发，稳定系统，实现驱动程序和功能模块。 企业可以自组团队参与开发或将开发外包给专业开发者，实现设备驱动和应用程序 初级开发者和普通用户可以通过简化的开发界面实现场景定制的各种应用 开发模式 * 可信计算北京市重点实验室 * 项目1：针对低端智能硬件的javascript运行环境项目 牵头人：马天夫，熊谱翔 项目2：针对高端智能硬件的javascript运行环境项目 牵头人：魏永明， 项目3：面向异构互联网络的去中心化消息协议以及广域javascript应用开发框架项目 牵头人：宋美娜，胡俊 开发方向 * 可信计算北京市重点实验室 * 项目1环境软件栈 * 可信计算北京市重点实验室 * 项目2环境软件栈 * 可信计算北京市重点实验室 * 去中心化，自组织的管理消息协议 与现有机制互联的直连消息协议 切面方式接入的安全控制机制和可信支撑机制 项目3构想 * 可信计算北京市重点实验室 * 中国开源软件基金会 一个公益性基金会组织 由aka社区元老等筹款 向有价值的开源开发项目提供支持 NGOS验证实验室 由东莞政府支持建立 尝试与硬件结合的商业化运作 相关计划 * 可信计算北京市重点实验室 * 设计一个全新的消息协议 支持从云到端的异构无障碍连接 自组织方式的网络配置+兼容现有协议的点对点通信 通过独立的切面增加安全和可信功能 项目3方案规划 * 可信计算北京市重点实验室 * 从高校入手的”宿舍邦“项目 “技术宅的乌托邦” 跨学校，跨地域的校园技术向社交系统 分层面与任意接入的开发模式 从云到端的一体化联通 自组织模式的生态建设能力 项目3的验证系统 * 可信计算北京市重点实验室 * 应用层、安全层和可信层并行开发 应用层暂时用CUBE可信服务总线代替 同学们广泛参与，进行”宿舍邦“应用层开发 必备应用组件开发、集成界面开发以及中间件集成配置 信息安全专业和兴趣者进行安全层与可信层开发 可以信安竞赛题目，信安毕设题目方式参与 依托开放式可信平台进行 开发内容参照应用层安全需求，但开发成果为独立的安全机制 创业团队依托平台技术支持实现社区化软件 企业可以立项资助，引导社区开发符合企业需求的项目 开发方式 谢谢大家！ 打造自主可控，安全可信的计算环境 可信计算北京市重点实验室 胡俊 下一代智能操作系统 互联协议设计思路 * 可信计算北京市重点实验室 * 可信计算基本概念 开放可信平台 下一代智能OS * 可信计算北京市重点实验室 * 可信指的是可预期性 可信不等于安全，只是你对安全相关事件的准确判断。 例子：水利预报 可信预测：半个月内有洪水，洪峰流量XXXX 可信预测可预警威胁 可信检测：沿岸某处江堤有缺陷,且半个月内来不及加固 可信检测可发现自身的脆弱性 可信评估：动用泄洪区A,B均可以应对该次洪峰，财产损失分别为XXX和XXX。 可信评估可帮助决策者确定应对措施 可信的含义 * 可信计算北京市重点实验室 * 可信不替代安全，它只是