Formal Firewall Conformance Testing: An Application of Test and Proof Techniques

Brucker, A.D., Brügger, L. and Wolff, B. (2015) Formal Firewall Conformance Testing: An Application of Test and Proof Techniques. Software Testing, Verification and Reliability, 25 (1). pp. 34-71. ISSN 0960-0833

Abstract

Metadata

Authors/Creators:
  • Brucker, A.D.
  • Brügger, L.
  • Wolff, B.
Copyright, Publisher and Additional Information: © 2014 John Wiley & Sons, Ltd.. This is an author produced version of a paper subsequently published in Software Testing, Verification and Reliability. Uploaded in accordance with the publisher's self-archiving policy.
Keywords: 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
Dates:
  • Accepted: 16 July 2014
  • Published (online): 27 August 2014
  • Published: January 2015
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 24 Feb 2016 12:37
Last Modified: 24 Jul 2017 12:10
Published Version: http://dx.doi.org/10.1002/stvr.1544
Status: Published
Publisher: John Wiley & Sons
Refereed: Yes
Identification Number: https://doi.org/10.1002/stvr.1544

Export

Statistics