2022年11月25日,2022 CCF中国软件大会(CCF Chinasoft)软件可信性与供应链安全前沿进展论坛成功举办。本次论坛由中国计算机学会(CCF)主办,CCF软件工程专委会、系统软件专委会、形式化方法专委会、复旦大学承办,武汉理工大学向剑文教授、北京航空航天大学郑征教授、浙江大学申文博研究员、浙江大学常瑞教授、西安电子科技大学田聪教授组织,采用腾讯会议与在线直播两种方式线上进行。
论坛关注软件供应链安全、软件可信性等相关技术领域的最新进展,诚邀北京大学、中科院软件所、湖北大学、南京大学、华中科技大学、南京邮电大学、大连理工大学、浙江大学、西安交通大学等国内外相关学科优势高校的10位相关领域优秀青年学者,通过主题报告形式,分享了软件供应链安全、软件可信性分析等领域的理论、技术和方法新进展,并探讨相关应用前景。论坛吸引了相关领域师生与研究人员的广泛参与,论坛视频在线直播累积观看人数超过2000人。
本次论坛由浙江大学常瑞教授和北京航空航天大学郑征教授主持。
第一阶段,由浙江大学申文博研究员做精彩报告,从我国软件供应链安全面临严峻挑战、提升软件供应链安全需要多重保障能力等方面探讨了软件供应链安全现状与展望,并介绍了浙大网安发布的软件供应链安全分析与防护系统“涅槃”。
论坛第二阶段,由北京大学吴一凡、中科院软件所王梓博、湖北大学周纯英、南京大学王立敏、华中科技大学齐蒙、华中科技大学王溯远、南京邮电大学葛丽丽、大连理工大学吴慧慧、浙江大学毛天宇、西安交通大学张鑫雨先后带来了精彩的报告。各位报告人分别就软件变更管理关键技术、面向PyPI生态系统的漏洞影响范围细粒度评估方法、GKCI:一种改进的基于图神经网络的关键类识别方法、基于指标依赖模型构建与监控的攻击检测方法、基于图卷积神经网络的抗混淆安卓恶意软件检测、基于图神经网络的切片级漏洞检测及解释方法、面向软件供应链的异常分析方法综述、基于凸优化的无人驾驶汽车转向角的安全性验证、面向Java语言生态的软件供应链安全分析技术、基于情节挖掘的软件实体演化耦合分析方法等工作进行了阐释与讨论。
最后由武汉理工大学向剑文教授致辞并进行了与会人员线上合影留念。
至此,2022 CCF中国软件大会(CCF Chinasoft)软件可信性与供应链安全前沿进展论坛圆满结束。
更多资讯请关注