Checking Network Security Policy Violations via Natural Language Questions | IEEE Conference Publication | IEEE Xplore