Formal firewall conformance testing

An application of test and proof techniques
Thumbnail
Metadata only
Autor(in)
Brucker, Achim D.
Brügger, Lukas
Wolff, Burkhart
Datum
2015-01
Typ
    Journal Article
Publikationsstatus
published
Externe Links
Zeitschrift / Serie
Software Testing, Verification and Reliability
Band
25(1)
Seiten / Artikelnummer
34 - 71
Verlag
Wiley
Thema
Model-based testing; Conformance testing; Security testing; Firewall; Specification-based testing; Testing cloud infrastructure; Transformation for testability; HOL-Testgen; Test and proof; Security configuration testing
Anmerkungen
Received 6 August 2012, Revised 24 June 2014, Accepted 16 July 2014, Published online 27 August 2014.
Mehr
Alle Metadaten anzeigen
ETH Bibliographie
yes
Altmetrics