Model-based firewall conformance testing

被引：0
|
作者：
Brucker, Achim D. [1 ]
Bruegger, Lukas [2 ]
Wolff, Burkhart [3 ]
机构：
[1] SAP Res, Vincenz Priessnitz Str 1, D-76131 Karlsruhe, Germany
[2] ETH, Informat Secur, Zurich, Switzerland
[3] Univ Saarland, D-66123 Saarbrucken, Germany
来源：
TESTING OF SOFTWARE AND COMMUNICATING SYSTEMS, PROCEEDINGS | 2008年 / 5047卷
关键词：
security testing; model-based testing; firewall; conformance testing;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Firewalls are a cornerstone of todays security infrastructure for networks. Their configuration, implementing a firewall policy, is inherently complex, hard to understand, and difficult to validate. We present a substantial case study performed with the model-based testing toot HOL-TESTGEN. Based on a formal model of firewalls and their policies in higher-order logic (HOL), we first present a derived theory for simplifying policies. We discuss different test plans for test specifications. Finally, we show how to integrate these issues to a domain-specific firewall testing tool HOL-TESTGEN/FW.
引用
收藏
页码：103 / +
页数：2
相关论文
共 50 条
  • [1] Firewall conformance testing
    Senn, D
    Basin, D
    Caronni, G
    [J]. TESTING OF COMMUNICATING SYSTEMS, PROCEEDINGS, 2005, 3502 : 226 - 241
  • [2] Achieving SCA Conformance Testing with Model-Based Testing
    Julien Botella
    Jean-Philippe Delahaye
    Eddie Jaffuel
    Bruno Legeard
    Fabien Peureux
    [J]. Journal of Signal Processing Systems, 2016, 83 : 113 - 128
  • [3] Achieving SCA Conformance Testing with Model-Based Testing
    Botella, Julien
    Delahaye, Jean-Philippe
    Jaffuel, Eddie
    Legeard, Bruno
    Peureux, Fabien
    [J]. JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, 2016, 83 (01): : 113 - 128
  • [4] Model-based testing of environmental conformance of components
    Frantzen, Lars
    Tretmans, Jan
    [J]. FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2007, 4709 : 1 - +
  • [5] Model-Based Testing of PLC Programs With Appropriate Conformance Relations
    Guignard, Anais
    Faure, Jean-Marc
    Faraut, Gregory
    [J]. IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2018, 14 (01) : 350 - 359
  • [6] Using model-based testing to assess smart card interoperability conformance
    Blackburn, M
    Chandramouli, R
    [J]. INTERNATIONAL CONFERENCE ON COMPUTING, COMMUNICATIONS AND CONTROL TECHNOLOGIES, VOL 2, PROCEEDINGS, 2004, : 23 - 28
  • [7] Towards Decentralized Conformance Checking in Model-Based Testing of Distributed Systems
    Lima, Bruno
    Faria, Joao Pascoal
    [J]. 10TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS - ICSTW 2017, 2017, : 356 - 365
  • [8] Architecture conformance analysis using model-based testing: A case study approach
    Uzun, Burak
    Tekinerdogan, Bedir
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2019, 49 (03): : 423 - 448
  • [9] Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing
    Aichernig, Bernhard K.
    Tappler, Martin
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2016, 320 : 3 - 19
  • [10] Formal firewall conformance testing: an application of test and proof techniques
    Brucker, Achim D.
    Bruegger, Lukas
    Wolff, Burkhart
    [J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2015, 25 (01): : 34 - 71
12345