2022 CCF中国软件大会（CCF ChinaSoft）“人工智能安全专刊”论坛成功召开

    2022年11月25日，2022 CCF中国软件大会（CCF ChinaSoft）“人工智能安全专刊”论坛成功召开。本次论坛由中科院信工所孟国柱副研究员、中科院信工所陈恺研究员、华东师范大学蒲戈光教授、南京大学卜磊教授担任主席，采用腾讯会议方式线上举办，共包含2个特邀报告和9个论文报告，围绕人工智能安全的基础理论、攻防技术、原型系统以及产业实践等主题展开，论坛邀请到了来自北京大学、西安电子科技大学、武汉理工大学、华东师范大学等高校机构的11位优秀专家学者，分享了国内外有关人工智能安全的高水平研究成果，共同探讨和总结未来人工智能安全的发展趋势和应用前景。论坛吸引了相关领域师生与从业人员的广泛参与，腾讯会议室同时观看人数达到60人，论坛视频在线直播和B站在线直播累积观看人数超过2701人，直播平台热度超过2500。

    在论坛开幕式中，论坛主席陈恺研究员简要介绍了本次论坛及合作期刊《信息安全学报》的主要情况，对各位报告嘉宾和在线听众表示热烈欢迎。接下来，论坛正式开始，首场特邀报告由中科院信工所孟国柱副研究员主持，邀请华东师范大学的张民教授作题为“一种基于抽象的构造正确性深度强化学习技术”的报告，介绍了一种将验证引入训练环节的构造正确性深度强化学习技术，在训练中对系统进行抽象，并将最终系统建模为有限状态的迁移系统，进而通过已有的模型检查技术验证系统的安全性。第二场特邀报告由南京大学卜磊教授主持，邀请北京大学的孙猛教授作题为“强化学习系统的变异测试”的报告，介绍了一种可用于RL系统安全保障的变异测试方法，展示使用一系列变异算子对RL系统进行综合变异，以及提供测试环境以揭示RL系统中可能的问题，定义RL系统专用的变异分数用于分析潜在故障的程度和评估测试环境的质量。

    论文报告部分邀请到了武汉理工大学周宇、中科院软件所孙硕、浙江工商大学杨涛、西安电子科技大学戚润川、中科院信工所宋小祎、西北工业大学许晴晴、北京计算机技术及应用研究所孔凯薇、江西师范大学王忠文、中科院信工所崔华俊先后带来了精彩的报告。9位报告人分别就保护用户数量信息的安全虹膜识别方案、基于分治法的神经网络修复方法、基于BFV同态加密神经网络参数设置实证研究、基于健壮半径求解的循环神经网络形式化验证方法、基于深度学习的跨自然语言与程序语言生成任务综述、Tenda AX12路由器0-Day栈溢出漏洞挖掘方法、IoT固件同源性智能检测研究、基于模型驱动的分治并行函数式程序生成及自动验证、基于联邦学习的第三方库流量识别等研究工作进行了阐释与讨论。

更多资讯请关注