A Logic-Reasoning Approach to Network Security Analysis | IEEE Conference Publication | IEEE Xplore