A Formal Approach To Firewalls Testing Techniques

Traditional technologies of firewall testing are overlooked. A new formalized approach is presented. Recommendations on optimization of test procedures are given.

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Barabanov, Alexander, Markov, Alexey, Tsirlov, Valentin
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science - Cryptography and Security Computer Science - Software Engineering
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	Traditional technologies of firewall testing are overlooked. A new formalized approach is presented. Recommendations on optimization of test procedures are given.
DOI:	10.48550/arxiv.1306.1953