AGQL: A Query Language for Attack Graph based Network Vulnerability Analysis | IEEE Conference Publication | IEEE Xplore