USING DESCRIPTION LOGICS FOR MAN IN THE MIDDLE ATTACK ANALYSIS
R. Zakeri, Rasool Jalili, Hamid Reza Shahriari · 2006
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.