Please use this identifier to cite or link to this item: https://hdl.handle.net/11147/2454
Title: Protocol-based testing of firewalls
Authors: Tuğlular, Tuğkan
Belli, Fevzi
Keywords: Formal methods
Conformance testing
Mutation testing
Protocol robustness testing
Firewalls
Issue Date: 2009
Publisher: Institute of Electrical and Electronics Engineers Inc.
Source: Tuğlular, T., and Belli, F. (2009, December 4-5). Protocol-based testing of firewalls. Paper presented at the 4th South-East European Workshop on Formal Methods: Formal Methods for Web Services; Formal Methods for Agent-Based Systems, SEEFM 2009. doi:10.1109/SEEFM.2009.14
Abstract: A firewall is the most important tool of network security defense. Its proper functioning is critical to the network it protects. Therefore a firewall should be tested rigorously with respect to its implemented network protocols and security policy specification. We propose a combined approach for test case generation to uncover errors both in firewall software and in its configuration. In the proposed approach, abstract test cases are generated by mutating event sequence graph model of chosen network protocol and filled with values from policy specification by using equivalence partitioning and boundary value analysis. A case study is presented to validate the presented approach.
Description: 4th South-East European Workshop on Formal Methods: "Formal Methods for Web Services" and "Formal Methods for Agent-based Systems", SEEFM '09; Thessaloniki; Greece; 4 December 2009 through 5 December 2009
URI: http://doi.org/10.1109/SEEFM.2009.14
http://hdl.handle.net/11147/2454
ISBN: 9780769539430
Appears in Collections:Computer Engineering / Bilgisayar Mühendisliği
Scopus İndeksli Yayınlar Koleksiyonu / Scopus Indexed Publications Collection

Files in This Item:
File Description SizeFormat 
2454.pdfConference Paper407.75 kBAdobe PDFThumbnail
View/Open
Show full item record

CORE Recommender

SCOPUSTM   
Citations

3
checked on Dec 11, 2021

Page view(s)

44
checked on Jan 24, 2022

Download(s)

38
checked on Jan 24, 2022

Google ScholarTM

Check

Altmetric


Items in GCRIS Repository are protected by copyright, with all rights reserved, unless otherwise indicated.