基于對抗攻擊和分支定界的前饋神經(jīng)網(wǎng)絡(luò)魯棒性驗(yàn)證

摘要： 作為安全關(guān)鍵系統(tǒng)控制器，前饋神經(jīng)網(wǎng)絡(luò)的魯棒性至關(guān)重要。本文提出一種基于對抗攻擊和分支界定的神經(jīng)網(wǎng)絡(luò)魯棒性驗(yàn)證方法，首先，利用對抗樣本確定前饋神經(jīng)網(wǎng)絡(luò)輸入的擾動閾值；其次，基于符號區(qū)間傳播對前饋神經(jīng)網(wǎng)絡(luò)進(jìn)行線性松弛，并在此基礎(chǔ)上驗(yàn)證前饋神經(jīng)網(wǎng)絡(luò)魯棒性；如果魯棒性不成立，則采用優(yōu)化的分支定界法逐步收緊已松弛的前饋神經(jīng)網(wǎng)絡(luò)，最后，完成前饋神經(jīng)網(wǎng)絡(luò)魯棒性驗(yàn)證。與現(xiàn)有的驗(yàn)證方法相比，本文...