A Bi-Level Game Approach to Attack-Aware Cyber Insurance of Computer Networks | IEEE Journals & Magazine | IEEE Xplore