Formal firewall conformance testing

An application of test and proof techniques
Thumbnail
Metadata only
Author
Brucker, Achim D.
Brügger, Lukas
Wolff, Burkhart
Date
2015-01
Type
    Journal Article
Publication status
published
External links
Journal / series
Software Testing, Verification and Reliability
Volume
25(1)
Pages / Article No.
34 - 71
Publisher
Wiley
Subject
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
Notes
Received 6 August 2012, Revised 24 June 2014, Accepted 16 July 2014, Published online 27 August 2014.
More
Show all metadata
ETH Bibliography
yes
Altmetrics