Maqola

Verification of the pocket filtering based on method of verification on the model

Yusupov Bakhodir KaramatovichProviding information security department, PhD, Tashkent University of Information Technologies named after Muhammad al-Khwarizmi, Tashkent, UzbekistanToshev Sarvar NorboboevichComputer science, automation and management department, Chemical-Technological Institute, Shakhrisabz, UzbekistanNishanov Islom IbrohimovichDepartment of Information Security, Military Institute of Information and Communication Technology and Communication, Tashkent, Uzbekistan

2019 International Conference on Information Science and Communications Technologies (ICISCT)conference2019en

ABI

Annotatsiya

In this paper an approach to the verification of filtering rules is proposed, designed to detect and resolve the anomaly of filtration in the specifications of the computer network security policy. The approach is based on the method of verification on the model. The models of computer system, firewall and anomalies of filtration are considered, which serve for verification of filtering rules by this method. As well as algorithms for detecting such anomalies. A technique for verifying the rules for filtering security policies based on these models is proposed.

Mavzular

Network Security and Intrusion Detection Advanced Data Processing Techniques Internet Traffic Analysis and Secure E-voting

Identifikatorlar

DOI: 10.1109/icisct47635.2019.9011901

Iqtiboslar va manbalar

2 ta iqtibos 13 ta foydalanilgan manba

Koʻrsatkichlar — AkademScholar · Tez orada