Protocol-Based Testing of Firewalls
| dc.contributor.author | Tuğlular, Tuğkan | |
| dc.contributor.author | Belli, Fevzi | |
| dc.coverage.doi | 10.1109/SEEFM.2009.14 | |
| dc.date.accessioned | 2016-11-16T12:03:55Z | |
| dc.date.available | 2016-11-16T12:03:55Z | |
| dc.date.issued | 2009 | |
| dc.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 | en_US |
| dc.description.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. | en_US |
| dc.identifier.citation | 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 | en_US |
| dc.identifier.doi | 10.1109/SEEFM.2009.14 | |
| dc.identifier.doi | 10.1109/SEEFM.2009.14 | en_US |
| dc.identifier.isbn | 9780769539430 | |
| dc.identifier.scopus | 2-s2.0-77953827102 | |
| dc.identifier.uri | http://doi.org/10.1109/SEEFM.2009.14 | |
| dc.identifier.uri | https://hdl.handle.net/11147/2454 | |
| dc.language.iso | en | en_US |
| dc.publisher | Institute of Electrical and Electronics Engineers Inc. | en_US |
| dc.relation.ispartof | 4th South-East European Workshop on Formal Methods: Formal Methods for Web Services; Formal Methods for Agent-Based Systems, SEEFM 2009 | en_US |
| dc.rights | info:eu-repo/semantics/openAccess | en_US |
| dc.subject | Formal methods | en_US |
| dc.subject | Conformance testing | en_US |
| dc.subject | Mutation testing | en_US |
| dc.subject | Protocol robustness testing | en_US |
| dc.subject | Firewalls | en_US |
| dc.title | Protocol-Based Testing of Firewalls | en_US |
| dc.type | Conference Object | en_US |
| dspace.entity.type | Publication | |
| gdc.author.institutional | Tuğlular, Tuğkan | |
| gdc.author.institutional | Belli, Fevzi | |
| gdc.author.yokid | 114656 | |
| gdc.bip.impulseclass | C5 | |
| gdc.bip.influenceclass | C5 | |
| gdc.bip.popularityclass | C5 | |
| gdc.coar.access | open access | |
| gdc.coar.type | text::conference output | |
| gdc.collaboration.industrial | false | |
| gdc.description.department | İzmir Institute of Technology. Computer Engineering | en_US |
| gdc.description.endpage | 59 | en_US |
| gdc.description.publicationcategory | Konferans Öğesi - Uluslararası - Kurum Öğretim Elemanı | en_US |
| gdc.description.scopusquality | N/A | |
| gdc.description.startpage | 53 | en_US |
| gdc.description.wosquality | N/A | |
| gdc.identifier.openalex | W2101311087 | |
| gdc.index.type | Scopus | |
| gdc.oaire.diamondjournal | false | |
| gdc.oaire.impulse | 1.0 | |
| gdc.oaire.influence | 2.9574863E-9 | |
| gdc.oaire.isgreen | true | |
| gdc.oaire.keywords | Conformance testing | |
| gdc.oaire.keywords | Protocol robustness testing | |
| gdc.oaire.keywords | Formal methods | |
| gdc.oaire.keywords | Firewalls | |
| gdc.oaire.keywords | Mutation testing | |
| gdc.oaire.popularity | 6.612503E-10 | |
| gdc.oaire.publicfunded | false | |
| gdc.oaire.sciencefields | 0202 electrical engineering, electronic engineering, information engineering | |
| gdc.oaire.sciencefields | 02 engineering and technology | |
| gdc.openalex.collaboration | International | |
| gdc.openalex.fwci | 0.24398835 | |
| gdc.openalex.normalizedpercentile | 0.71 | |
| gdc.opencitations.count | 4 | |
| gdc.plumx.crossrefcites | 3 | |
| gdc.plumx.mendeley | 9 | |
| gdc.plumx.scopuscites | 3 | |
| gdc.scopus.citedcount | 3 | |
| relation.isAuthorOfPublication.latestForDiscovery | 0f216971-d901-422e-9020-40f6636ca9ac | |
| relation.isOrgUnitOfPublication.latestForDiscovery | 9af2b05f-28ac-4014-8abe-a4dfe192da5e |