Formal firewall conformance testing: an application of test and proof techniques
- Brucker, Achim D. SAP SE; Vincenz-Priessnitz-Str. 1 76131 Karlsruhe Germany
- Brügger, Lukas Information Security; ETH Zurich; 8092 Zurich Switzerland
- Wolff, Burkhart Université Paris-Sud; Laboratoire de Recherche en Informatique (LRI, Bât 650); 91893 Orsay Cedex France
- 2014-8-27
Published in:
- Software Testing, Verification and Reliability. - Wiley. - 2014, vol. 25, no. 1, p. 34-71
- Language
-
- English
- Open access status
- green
- Identifiers
-
- DOI 10.1002/stvr.1544
- ISSN 0960-0833
- Persistent URL
- https://sonar.ch/global/documents/283709
Statistics
Document views: 18
File downloads:
- fulltext.pdf: 0