Frame-based attack representation and real-time first order logic automatic reasoning | IEEE Conference Publication | IEEE Xplore