Current Result Document : 37 / 37
||모델의 검증 방법을 기반으로 한 패킷 필터링의 검증
||Verification of the Packet Filtering Based on the Method of Verification on the Model
||VOL 41 NO. 02 PP. 0229 ~ 0232 (2018. 11)
|An approach to the verification of filtering rules is proposed, designed to detect and resolve the anomaly of filtration in the specifications of computer network security policy. The approach is based on the method of verification on the Model. The models of the 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.