（学工办 刘路）5月27日，OpenHarmony城市技术论坛（武汉站）在国家网络安全人才培养与创新基地成功举办。此次论坛从“终端操作系统十大技术挑战”出发，主题聚焦“操作系统安全与可信”，从学术界和工业界的多个维度，讨论软硬协同的操作系统安全防护、可信计算环境构造、漏洞发现与防御、软件安全测试等技术与方法。
此次技术论坛由OpenHarmony项目群技术指导委员会主办，武汉大学OpenHarmony技术俱乐部承办，华中科技大学OpenHarmony技术俱乐部合作支持。论坛邀请到学术界以及产业界的多位专家学者作报告，包括OpenHarmony项目群技术指导委员会主席、上海交通大学特聘教授陈海波，OpenHarmony项目群技术指导委员会安全及机密计算TSG负责人、华为公司科学家委员会副首席科学家付天福，武汉大学国家网络安全学院党委书记赵波教授，武汉大学计算机学院副院长玄跻峰教授，华中科技大学网络空间安全学院常务副院长邹德清教授，上海交通大学教授夏虞斌，浙江大学研究员纪守领，武汉大学教授赵磊，华中科技大学副教授慕冬亮，中国科学院信息工程研究所副研究员王文浩，OpenHarmony项目群技术指导委员会委员、中软国际智能物联网军团CTO张兆生。论坛由武汉大学OpenHarmony俱乐部主任张立强副教授与武汉大学王娟教授主持。
论坛嘉宾合影
OpenHarmony项目群技术指导委员会主席、上海交通大学特聘教授陈海波教授在“万物智联时代软硬件协同的操作系统安全与OpenHarmony思考”的报告中回顾了万物智联时代操作系统所面临的安全挑战，分析了当前硬件的安全扩展以及带来的安全提升机会，介绍了当前国际学术界以及上海交大IPADS团队在软硬件协同安全提升方面的工作，并展望了面向OpenHarmony的研究机遇与挑战。
OpenHarmony项目群技术指导委员会主席、上海交通大学特聘教授陈海波教授作报告
武汉大学国家网络安全学院党委书记赵波教授在“可信的机密计算环境构造的思考”的报告中提到，所带领的学术团队正在研究利用可行计算的方法，构造一种开源的、不依赖于CPU的第三方，即可信的机密计算环境，以解决目前安全操作系统工作中的困境和适应当前的安全需求。
武汉大学国家网络安全学院党委书记赵波教授作报告
华中科技大学网络空间安全学院常务副院长邹德清教授在“软件漏洞智能检测”的报告中介绍了一种检测效果明显优于传统检测方法的开源代码的智能检测手段，用以解决目前开源代码工作普遍存在漏报误报严重问题的痛点。
华中科技大学网络空间安全学院常务副院长邹德清教授作报告
浙江大学研究员纪守领在“Detecting Missed Security Operations Through Differential Checking of Object-based Similar Paths”的报告中介绍了一个用于安全缺陷检测的静态分析框架IPPO（Inconsistent Path Pairs as a bug Oracle），该框架基于差分检验，相较于传统方法具有更高的精度。
浙江大学研究员纪守领作报告
中国科学院信息工程研究所副研究员王文浩在“芯片安全计算架构”的报告中总结了安全计算环境的资源共享导致的隔离不充分的问题，并以可信执行环境这一新型安全计算环境为目标，介绍了目前在侧信道攻击和防御以及新型可信执行环境架构方面的工作进展。
中国科学院信息工程研究所副研究员王文浩作报告
OpenHarmony项目群技术指导委员会委员、中软国际智能物联网军团CTO张兆生在“依托OpenHarmony安全底座，构建万物智联行业应用”的报告中提到，OpenHarmony作为万物智联时代的数字底座，在实现设备互助、资源共享的同时，构建了数据、设备、用户等安全体系，为万物智联的行业应用提供了安全保障。
OpenHarmony项目群技术指导委员会委员、中软国际智能物联网军团CTO张兆生作报告
据悉，本次论坛是OpenHarmony城市技术论坛的第二站，由武汉大学副教授、武汉大学OpenHarmony技术俱乐部主任张立强担任出品人。武汉大学OpenHarmony技术俱乐部是国内第二家、华中地区首家OpenHarmony技术高校俱乐部，标志着我校在开源分布式操作系统领域推动产学联动、加快形成人才培养、技术创新、产业发展良性生态迈出了新步伐。俱乐部采用“课题承接+人才培养”的双引擎驱动模式，以课题锻炼人才，以人才驱动创新，旨在打造操作系统的人才和技术高地，进而将影响力从华中辐射到全国。
武汉大学副教授、武汉大学OpenHarmony技术俱乐部主任 华为公司科学家委员会副首席科学家付天福作报
张立强主持会议
武汉大学王娟教授主持会议 武汉大学计算机学院副院长玄跻峰教授作报告
上海交通大学夏虞斌教授作报告 武汉大学教授赵磊作报告
（供图：刘路，孟罡 责编：陈治宏 审核：刘嘉梅）
