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

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