Finding Logically Consistent Resource-Deception Plans for Defense in Cyberspace | IEEE Conference Publication | IEEE Xplore