Insertion, evasion, and denial of service: Eluding network intrusion detection, 1998. ,
Network Intrusion Detection: Evasion, Traffic Normalization, and End-to-End Protocol Semantics, USENIX Security Symposium, pp.115-131, 2001. ,
Protect Against Advanced Evasion Techniques, McAfee, 2014. ,
A Family of Dynamic Description Logics for Representing and Reasoning About Actions, Journal of Automated Reasoning, vol.2, issue.1, pp.1-52, 2010. ,
DOI : 10.1007/s10817-010-9210-1
Failure Diagnosis of Internetware Systems Using Dynamic Description Logic, Journal of Software, vol.21, issue.2, pp.248-260, 2010. ,
DOI : 10.3724/SP.J.1001.2010.03793
An Architecture Description Language Based on Dynamic Description Logics, Intelligent Information Processing VI, pp.157-166, 2012. ,
DOI : 10.1007/978-3-642-32891-6_21
The description logic handbook: theory, implementation, and applications, 2003. ,
DOI : 10.1017/CBO9780511711787
A temporal description logic for reasoning about actions and plans, J. Artif. Intell. Res. USA, vol.9, pp.463-506, 1998. ,
Integrating description logics and action formalisms: First results, Proc. Natl. Conf. Artif. Intell. USA, pp.572-577, 2005. ,