Please use this identifier to cite or link to this item: https://hdl.handle.net/11147/2457
Full metadata record
DC FieldValueLanguage
dc.contributor.authorTuğlular, Tuğkan-
dc.contributor.authorKaya, Özgür-
dc.contributor.authorMüftüoğlu, Can Arda-
dc.contributor.authorBelli, Fevzi-
dc.date.accessioned2016-11-16T13:35:33Z-
dc.date.available2016-11-16T13:35:33Z-
dc.date.issued2009-
dc.identifier.citationTuğlular, T., Kaya, Ö., Müftüoğlu, C. A., and Belli, F. (2009, July 8-10). The 1st workshop on model-based verification & validation: Directed acyclic graph modeling of security policies for firewall testing. Paper presented at the 3rd IEEE International Conference on Secure Software Integration Reliability Improvement, SSIRI 2009. doi:10.1109/SSIRI.2009.52en_US
dc.identifier.isbn9780769537580-
dc.identifier.urihttp://doi.org/10.1109/SSIRI.2009.52-
dc.identifier.urihttp://hdl.handle.net/11147/2457-
dc.description3rd IEEE International Conference on Secure Software Integration Reliability Improvement, SSIRI 2009; Shanghai; China; 8 July 2009 through 10 July 2009en_US
dc.description.abstractCurrently network security of institutions highly depend on firewalls, which are used to separate untrusted network from trusted one by enforcing security policies. Security policies used in firewalls are ordered set of rules where each rule is represented as a predicate and an action. This paper proposes modeling of firewall rules via directed acyclic graphs (DAG), from which test cases can be automatically generated for firewall testing. The approach proposed follows test case generation algorithm developed for event sequence graphs. Under a local area network setup with the aid of a specifically developed software for this purpose, generated test cases are converted to network test packets, test packets are sent to the firewall under test (FUT), and sent packets are compared with passed packets to determine test result.en_US
dc.language.isoenen_US
dc.publisherInstitute of Electrical and Electronics Engineers Inc.en_US
dc.relation.ispartof3rd IEEE International Conference on Secure Software Integration Reliability Improvement, SSIRI 2009en_US
dc.rightsinfo:eu-repo/semantics/openAccessen_US
dc.subjectNetwork securityen_US
dc.subjectDirected acyclic graphsen_US
dc.subjectEvent Sequence graphsen_US
dc.subjectFirewall policiesen_US
dc.subjectSecurity testingen_US
dc.titleThe 1st workshop on model-based verification & validation: Directed acyclic graph modeling of security policies for firewall testingen_US
dc.typeConference Objecten_US
dc.authoridTR114656en_US
dc.institutionauthorTuğlular, Tuğkan-
dc.institutionauthorKaya, Özgür-
dc.institutionauthorMüftüoğlu, Can Arda-
dc.institutionauthorBelli, Fevzi-
dc.departmentİzmir Institute of Technology. Computer Engineeringen_US
dc.identifier.startpage393en_US
dc.identifier.endpage398en_US
dc.identifier.wosWOS:000274878700053en_US
dc.identifier.scopus2-s2.0-72849151217en_US
dc.relation.publicationcategoryKonferans Öğesi - Uluslararası - Kurum Öğretim Elemanıen_US
dc.identifier.doi10.1109/SSIRI.2009.52-
dc.relation.doi10.1109/SSIRI.2009.52en_US
dc.coverage.doi10.1109/SSIRI.2009.52en_US
item.openairetypeConference Object-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.fulltextWith Fulltext-
item.languageiso639-1en-
item.cerifentitytypePublications-
item.grantfulltextopen-
crisitem.author.dept03.04. Department of Computer Engineering-
crisitem.author.dept03.04. Department of Computer Engineering-
Appears in Collections:Computer Engineering / Bilgisayar Mühendisliği
Scopus İndeksli Yayınlar Koleksiyonu / Scopus Indexed Publications Collection
WoS İndeksli Yayınlar Koleksiyonu / WoS Indexed Publications Collection
Files in This Item:
File Description SizeFormat 
2457.pdfConference Paper855.68 kBAdobe PDFThumbnail
View/Open
Show simple item record



CORE Recommender

SCOPUSTM   
Citations

6
checked on Mar 22, 2024

WEB OF SCIENCETM
Citations

4
checked on Mar 27, 2024

Page view(s)

61,370
checked on Mar 25, 2024

Download(s)

348
checked on Mar 25, 2024

Google ScholarTM

Check




Altmetric


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