Optimal resource allocation for protecting system availability against random cyber attacks | IEEE Conference Publication | IEEE Xplore