A specific system could be proven to be secure. There is no general mechanism to prove all software secure however.