喜讯|安般科技入选“人工智能安全可信护航计划”首批合作伙伴!
2/17/2023
来源

首图.gif


2月13日,北京人工智能产业创新发展大会在北京中关村展示中心举行。中国科协副主席束为、北京市副市长于英杰、科技部副秘书长贺德方、中国工程院院士廖湘科等领导及专家出席大会。


会上举行了“人工智能安全可信护航计划”启动仪式,安般科技作为首批合作伙伴,正式加入“人工智能安全可信护航计划”,与各成员单位共同围绕人工智能安全可信开展理论研究、标准研制、安全可信度评估等工作。


640.png

安般科技入选“人工智能安全可信护航计划”首批合作伙伴


人工智能行业发展 · 安全可信不容忽视


“安全可信”是指所使用的设备应当具备的安全性能,即在设备工作的同时,内含的安全部件进行动态并行实时全方位的安全检验,确保计算过程及资源不被干扰破坏和篡改,能正确完成处理任务。


最近,面世仅2个月ChatGPT火爆出圈,给各行各业带来深刻的影响,更对网络安全领域带来前所未有的巨大挑战,这一现象加深了全球发展安全可信的人工智能的共识。


近年来,得益于深度学习等算法的突破、算力的提升及海量数据的积累,人工智能产业化和商业化进程不断提速。人工智能在与各行业融合应用的过程中,也面临着日益复杂的安全风险,全球人工智能治理正在从原则性规定向可操作性、可落地方向迈进,对人工智能安全可信的呼声不断增多。


智能模糊测试 · 助推 AI 安全可信发展


智能模糊测试技术是传统技术与人工智能相结合的典范,智能模糊测试是一种在程序动态运行时挖掘未知缺陷的技术,通过插桩反馈结合AI模型自动变异测试用例,实现对缺陷的快速发现和精准定位,从而加快开发效率,提升程序的安全性和稳定性。


安般科技智能模糊测试产品搭载了自主研发的通用模糊测试引擎ABFast,ABFast融合了符号执行和污点分析等相关程序分析技术,具备更强的路径探索能力;同时,ABFast的增强学习算法可以基于用户以往的测试记录进行自我强化,在使用过程中变得越来越“聪明”,更高效地发现被测程序的缺陷。在同等测试条件下,ABFast比AFL/AFL++引擎在缺陷发现数量方面提升300%以上 ,在LAVA-M测试集上,测试效果同样大幅超越其他开源引擎。


安般科技也可以为人工智能安全可信发展提供强大的技术支撑,安般科技系列产品可应用于软件开发全生命周期,提高代码覆盖率,挖掘代码深层缺陷,提升软件质量;全自动化的测试流程,可以自动生成大量有效测试数据,自动上报缺陷管理系统,提升测试的充分性。


安般科技将充分发挥自身的技术优势和“人工智能安全可信护航计划”的平台优势,积极响应相关部门号召,联合有关单位共同探索人工智能安全可信的解决方案,赋能人工智能行业安全可信度评估工作。