Please use this identifier to cite or link to this item: https://hdl.handle.net/11147/2457
Title: The 1st workshop on model-based verification & validation: Directed acyclic graph modeling of security policies for firewall testing
Authors: Tuğlular, Tuğkan
Kaya, Özgür
Müftüoğlu, Can Arda
Belli, Fevzi
Tuğlular, Tuğkan
Kaya, Özgür
Müftüoğlu, Can Arda
Izmir Institute of Technology. Computer Engineering
Keywords: Network security
Directed acyclic graphs
Event Sequence graphs
Firewall policies
Security testing
Issue Date: 2009
Publisher: Institute of Electrical and Electronics Engineers Inc.
Source: Tuğ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.52
Abstract: Currently 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.
Description: 3rd IEEE International Conference on Secure Software Integration Reliability Improvement, SSIRI 2009; Shanghai; China; 8 July 2009 through 10 July 2009
URI: http://doi.org/10.1109/SSIRI.2009.52
http://hdl.handle.net/11147/2457
ISBN: 9780769537580
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 
2457.pdfConference Paper855.68 kBAdobe PDFThumbnail
View/Open
Show full item record

CORE Recommender

SCOPUSTM   
Citations

4
checked on Sep 25, 2021

WEB OF SCIENCETM
Citations

3
checked on Sep 25, 2021

Page view(s)

30
checked on Sep 26, 2021

Download(s)

20
checked on Sep 26, 2021

Google ScholarTM

Check

Altmetric


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