A Formal Approach To Firewalls Testing Techniques
Cryptography and Security
2013-06-11 v1 Software Engineering
Abstract
Traditional technologies of firewall testing are overlooked. A new formalized approach is presented. Recommendations on optimization of test procedures are given.
Keywords
Cite
@article{arxiv.1306.1953,
title = {A Formal Approach To Firewalls Testing Techniques},
author = {Alexander Barabanov and Alexey Markov and Valentin Tsirlov},
journal= {arXiv preprint arXiv:1306.1953},
year = {2013}
}
Comments
Keywords: information security, firewall, security analysis, test procedures, conformance evaluation, security certification, performance optimization