Formal firewall conformance testing: an application of test and proof techniques
Article in Software Testing Verification and Reliability (August 2014)
The most recent citing publications are shown below. View all 3 publications that cite this research output on Dimensions.
Article in Software Testing Verification and Reliability (August 2014)
Article in Laws (June 2014)
Conference proceeding (September 2009)