Formal firewall conformance testing: an application of test and proof techniques
- Submitting institution
-
University of Exeter
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 6350
- Type
- D - Journal article
- DOI
-
10.1002/stvr.1544
- Title of journal
- Software Testing, Verification & Reliability (STVR)
- Article number
- -
- First page
- 34
- Volume
- 25
- Issue
- 1
- ISSN
- 0960-0833
- Open access status
- Out of scope for open access requirements
- Month of publication
- August
- Year of publication
- 2014
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
2
- Research group(s)
-
-
- Citation count
- 9
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- Firewalls are notoriously difficult to configure and, consequently, protecting computer networks against attacks is notoriously difficult. This paper is the first to present a theorem-prover based approach for specifying security policies for firewalls and using them for generating test cases that show that real firewalls comply to the formal specification. The work was fully funded (and is used) by the BT Group (lead by Prof. Paul Kearny: https://www.linkedin.com/in/paul-kearney-3351766/. The ideas were taken up by Microsoft and implemented in SecGuro, a tool used for Analyzing network policies for Azure data centres (published by Bj?rner & Jayaraman from Microsoft in doi:10.1007/978-3-319-14977-6_2
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -