（通讯员：刘路 供图：刘路 孟罡）5月27日，OpenHarmony城市技术论坛（武汉站）（以下简称“技术论坛”）在国家网络安全人才培养与创新基地成功举办。技术论坛从“终端操作系统十大技术挑战”出发，聚焦“操作系统安全与可信”主题，从学术界和工业界融合的角度，讨论软硬协同的操作系统安全防护、可信计算环境构造、漏洞发现与防御、软件安全测试等理论与技术，以更好地提升操作系统的可信性。

本次技术论坛由OpenHarmony项目群技术指导委员会主办，武汉大学OpenHarmony技术俱乐部承办，华中科技大学OpenHarmony技术俱乐部合作支持。论坛邀请到学术界以及产业界的多位专家学者作报告，包括OpenHarmony项目群技术指导委员会主席、上海交通大学特聘教授陈海波，OpenHarmony项目群技术指导委员会安全及机密计算TSG负责人、华为公司科学家委员会副首席科学家付天福，武汉大学国家网络安全学院党委书记赵波教授，武汉大学计算机学院副院长玄跻峰教授，华中科技大学网络空间安全学院常务副院长邹德清教授，上海交通大学教授夏虞斌，浙江大学研究员纪守领，武汉大学教授赵磊，华中科技大学副教授慕冬亮，中国科学院信息工程研究所副研究员王文浩，OpenHarmony项目群技术指导委员会委员、中软国际智能物联网军团CTO张兆生。技术论坛由武汉大学OpenHarmony俱乐部主任张立强副教授与武汉大学王鹃教授主持。

论坛嘉宾留影

OpenHarmony项目群技术指导委员会主席、上海交通大学特聘教授陈海波教授在“万物智联时代软硬件协同的操作系统安全与OpenHarmony思考”的报告中回顾了万物智联时代操作系统所面临的安全挑战，分析了当前硬件的安全扩展以及带来的安全提升机会，介绍了当前国际学术界以及上海交大IPADS团队在软硬件协同安全提升方面的工作，并展望了面向OpenHarmony的研究机遇与挑战。

OpenHarmony项目群技术指导委员会主席、上海交通大学特聘教授陈海波教授作报告

华中科技大学网络空间安全学院常务副院长邹德清教授在“软件漏洞智能检测”的报告中介绍了一种检测效果明显优于传统检测方法的开源代码的智能检测手段，用以解决目前开源代码工作普遍存在漏报误报严重问题的痛点。

华中科技大学网络空间安全学院常务副院长邹德清教授作报告

武汉大学计算机学院副院长玄跻峰教授在“测试驱动的软件系统质量保障：实践与思考”的报告中提到，软件质量问题难以预知，软件质量保障技术，包括测试、调试、定位、重现等，可以有效降低人力消耗，提升软件生产效率。玄跻峰教授围绕现代软件工程中软件开发及质量保障的智能化，介绍了测试驱动的软件质量保障的实践基础，并分享了近期对该领域研究的几点思考。

武汉大学计算机学院副院长玄跻峰教授作报告

武汉大学国家网络安全学院党委书记赵波教授在“可信的机密计算环境构造的思考”的报告中提到，所带领的学术团队正在研究利用可行计算的方法，构造一种开源的、不依赖于CPU的第三方，即可信的机密计算环境，以解决目前安全操作系统工作中的困境和适应当前的安全需求。

武汉大学国家网络安全学院党委书记赵波教授作报告

本次论坛是OpenHarmony城市技术论坛的第二站，由武汉大学副教授、武汉大学OpenHarmony技术俱乐部主任张立强担任出品人。武汉大学OpenHarmony技术俱乐部是国内第二家、华中地区首家OpenHarmony技术高校俱乐部，标志着我校在开源分布式操作系统领域推动产学联动、加快形成人才培养、技术创新、产业发展良性生态迈出了新步伐。俱乐部采用“课题承接+人才培养”的双引擎驱动模式，以课题锻炼人才，以人才驱动创新，旨在打造操作系统的人才和技术高地，进而将影响力从华中辐射到全国。

武汉大学副教授、武汉大学OpenHarmony技术俱乐部主任张立强主持上午会议

华为公司科学家委员会副首席科学家付天福作报告

武汉大学王鹃教授主持下午会议

浙江大学研究员纪守领作报告

上海交通大学夏虞斌教授作报告

武汉大学赵磊教授作报告

华中科技大学副教授慕冬亮作报告

中国科学院信息工程研究所副研究员王文浩作报告

OpenHarmony项目群技术指导委员会委员、中软国际智能物联网军团CTO张兆生作报告