Architecture and software implementation of the system of verification of filtering rules

The paper describes the general architecture of the system of verification of filter rules firewall and discusses aspects of the software implementation. The implementation is based on the method of "model checking". SPIN software system is used as a verifier. Also in the paper is described designed user interface. It allows to download data on verifiable system and filtering policy rules. The user interface includes elements for management verification process and presentation of its results. In addition, the proposed system allows to use different strategies to resolve of the anomalies.