[发明专利]一种基于迭代抽象分析的神经网络安全性质验证方法在审
| 申请号： | 202010382022.4 | 申请日： | 2020-05-08 |
| 公开（公告）号： | CN111475321A | 公开（公告）日： | 2020-07-31 |
| 发明（设计）人： | 陈立前;尹帮虎;王戟;刘江潮;董威;毛晓光;文艳军;刘万伟;尹良泽 | 申请（专利权）人： | 中国人民解放军国防科技大学 |
| 主分类号： | G06F11/00 | 分类号： | G06F11/00;G06N3/04;G06N3/08 |
| 代理公司： | 湖南兆弘专利事务所(普通合伙) 43008 | 代理人： | 周长清 |
| 地址： | 410073 湖南*** | 国省代码： | 湖南;43 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种基于迭代抽象分析的神经网络安全性质验证方法，其步骤包括：步骤S1：单遍抽象分析；对一个给定的输入域在神经网络的抽象语义下进行逐层推导，得到其对应的输出；步骤S2：基于不变式进行性质验证；通过检查不变式与待验证性质的关系，判断性质是否成立；步骤S3：输入域划分；对于给定的输入域，若单遍抽象分析产生的不变式无法验证性质是否成立时，则采用非确定首层神经元引导的划分策略产生划分谓词，再基于划分谓词对输入域进行划分，生成两个子验证问题；步骤S4：子验证问题精化；骤S5：迭代验证；对于每个无法验证的子问题，重复上述步骤。本发明具有原理简单、能够提高神经网络安全性质完备验证的效率等优点。 | ||
| 搜索关键词： | 一种 基于 抽象 分析 神经网络 安全 性质 验证 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国人民解放军国防科技大学，未经中国人民解放军国防科技大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202010382022.4/，转载请声明来源钻瓜专利网。
