Show simple item record

dc.contributor.authorTuğlular, Tuğkan
dc.contributor.authorBelli, Fevzi
dc.date.accessioned2016-11-16T12:03:55Z
dc.date.available2016-11-16T12:03:55Z
dc.date.issued2009
dc.identifier.citationTuğ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.14en_US
dc.identifier.isbn9780769539430
dc.identifier.urihttp://doi.org/10.1109/SEEFM.2009.14
dc.identifier.urihttp://hdl.handle.net/11147/2454
dc.description4th 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 2009en_US
dc.description.abstractA 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.en_US
dc.language.isoengen_US
dc.publisherIEEEen_US
dc.relation.isversionof10.1109/SEEFM.2009.14en_US
dc.rightsinfo:eu-repo/semantics/openAccessen_US
dc.subjectFormal methodsen_US
dc.subjectConformance testingen_US
dc.subjectMutation testingen_US
dc.subjectProtocol robustness testingen_US
dc.subjectFirewallsen_US
dc.titleProtocol-based testing of firewallsen_US
dc.typeconferenceObjecten_US
dc.contributor.authorIDTR114656en_US
dc.contributor.iztechauthorTuğlular, Tuğkan
dc.relation.journal4th South-East European Workshop on Formal Methods: Formal Methods for Web Services; Formal Methods for Agent-Based Systems, SEEFM 2009en_US
dc.contributor.departmentİYTE, Mühendislik Fakültesi, Bilgisayar Mühendisliği Bölümüen_US
dc.identifier.startpage53en_US
dc.identifier.endpage59en_US
dc.relation.publicationcategoryKonferans Öğesi - Uluslararası - Kurum Öğretim Elemanıen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record