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
Аннотация
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.
Перевод пока недоступен