USING DESCRIPTION LOGICS FOR MAN IN THE MIDDLE ATTACK ANALYSIS

The emerging size and complexity of computer networks and also various services provided by them makes the networks vulnerable to numerous attacks. Although in the last few years a more logical approach to TCP/IP network security problem has been followed, a complete and sound formal approach to this problem is lacking. In this paper, we propose using Description Logics as a formal model to analyze TCP/IP networks against one of famous attack categories, i.e. Man in the Middle (MITM). This model allows verifying and proofing network safety or vulnerability against this attack.

Keywords:

Network security , formal analysis , man in the middle attack , and description logics