AclCheck

Czech title

AclCheck - nástroj pro statickou analýzu konfliktů mezi pravidly

Type

software

License

required - free

Authors

Hozza Tomáš, Ing. (FIT BUT)
Ryšavý Ondřej, doc. Ing., Ph.D. (DIFS FIT BUT)

Keywords

Filtering, ACL, Firewall, Security policy, Static analysis, Tools

Description

AclCheck is a console application written in C++ for complete static analysis of Access Control Lists contained in a network device configuration. Tool detects conflicts among rules of each ACL in a given configuration file. Used analysis algorithm is fast enough even for very large ACLs (10000+ rules).

Location

The tool is freely available at

http://code.google.com/p/acl-check/.

Licence

Source codes are available under GNU/GPLv3 (http://www.gnu.org/licenses/gpl.html).

Projects

Security-Oriented Research in Information Technology (MSM0021630528)
TeamIT - Building Competitive Research Teams in IT (EE2.3.09.0067)
The IT4Innovations Centre of Excellence (ED1.1.00/02.0070)

Research groups

NES@FIT - Networks and distributed systems research group (VZ NES@FIT)
Secure and reliable network architectures (DC4-VZ)

Departments

Department of Information Systems FIT BUT (DIFS FIT BUT)