Wei Yan, Edwin S. H. Hou, Nirwan Ansari. Frame-based attack representation and real-time first order logic automatic reasoning. In ITRE 2005 - 3rd International Conference on Information Technology: Research and Education, June 27-30 2005, Hsinchu, Taiwan, Proceedings. pages 225-229, IEEE, 2005. [doi]
Abstract is missing.