Title :
A Hybrid Approach to Operating System Discovery using Answer Set Programming
Author :
Gagnon, François ; Esfandiari, Babak ; Bertossi, Leopoldo
Author_Institution :
Carleton Univ., Ottawa, ON
fDate :
May 21 2007-Yearly 25 2007
Abstract :
The goal of operating system (OS) discovery is to learn which OS is running on a distant computer. There are two main strategies for OS discovery: active and passive. Each of them has advantages as well as drawbacks. This paper discusses how answer set programming, a new logic programming paradigm, can be used to address, in a simple and elegant way, the problem of operating system discovery in computer networks by logically specifying the problem and providing solutions through automated reasoning. As a result of using such a knowledge representation framework, it is possible to unify the active and the passive methods to OS discovery in a single hybrid approach that has the advantages of both strategies while being much more versatile. Moreover, this paper presents a proof of concept prototype for hybrid operating system discovery.
Keywords :
computer networks; knowledge representation; logic programming; operating systems (computers); OS; answer set programming; automated reasoning; computer networks; knowledge representation framework; logic programming paradigm; operating system discovery; Application specific processors; Computer networks; Information security; Intrusion detection; Knowledge representation; Logic programming; Operating systems; System testing; Telecommunication traffic; World Wide Web;
Conference_Titel :
Integrated Network Management, 2007. IM '07. 10th IFIP/IEEE International Symposium on
Conference_Location :
Munich
Print_ISBN :
1-4244-0798-2
Electronic_ISBN :
1-4244-0799-0
DOI :
10.1109/INM.2007.374804