A Formal Approach To Firewalls Testing Techniques
Alexander Barabanov, Alexey Markov, Valentin Tsirlov
TL;DR
This paper introduces a formalized approach to firewall testing, addressing gaps in traditional methods and providing recommendations for optimizing test procedures.
Contribution
It presents a novel formal framework for firewall testing techniques and offers optimization strategies for test procedures.
Findings
Formal approach improves testing accuracy
Optimization recommendations enhance efficiency
Addresses gaps in traditional firewall testing methods
Abstract
Traditional technologies of firewall testing are overlooked. A new formalized approach is presented. Recommendations on optimization of test procedures are given.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSoftware Testing and Debugging Techniques · Advanced Malware Detection Techniques · Network Packet Processing and Optimization