On the public citation graph
FIREMAN: a toolkit for firewall modeling and analysis
0 signed · 370 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/11535706_15openalex-snapshot
Complete Redundancy Detection in Firewalls
inferredcites →https://doi.org/10.1007/978-0-387-35674-7_2openalex-snapshot
Firewall Policy Advisor for Anomaly Discovery and Rule Editing
inferredcites →https://doi.org/10.1007/s10207-004-0052-xopenalex-snapshot
Rigorous automated network security management
inferredcites →https://doi.org/10.1109/icdcs.2004.1281597openalex-snapshot
Firewall design: consistency, completeness, and compactness
inferredcites →https://doi.org/10.1109/icdsn.2000.857593openalex-snapshot
Algorithms for improving the dependability of firewall and filter rule lists
inferredcites →https://doi.org/10.1109/infcom.2000.832534openalex-snapshot
Heuristics for Internet map discovery
inferredcites →https://doi.org/10.1109/infcom.2004.1354680openalex-snapshot
Discovery of policy anomalies in distributed firewalls
inferredcites →https://doi.org/10.1109/infcom.2005.1498492openalex-snapshot
On static reachability analysis of IP networks
inferredcites →https://doi.org/10.1109/mc.2004.2openalex-snapshot
A quantitative study of firewall configuration errors
inferredcites →https://doi.org/10.1109/secpri.1997.601327openalex-snapshot
Filtering postures: local enforcement for global policies
inferredcites →https://doi.org/10.1109/secpri.1999.766714openalex-snapshot
Firmato: a novel firewall management toolkit
inferredcites →https://doi.org/10.1109/secpri.2000.848455openalex-snapshot
Fang: a firewall analysis engine
inferredcites →https://doi.org/10.1109/tc.1986.1676819openalex-snapshot
Graph-Based Algorithms for Boolean Function Manipulation
inferredcites →https://doi.org/10.1109/tnet.2003.822655openalex-snapshot
Measuring ISP Topologies With Rocketfuel
inferredcites →https://doi.org/10.1145/1015467.1015472openalex-snapshot
Routing design in operational networks
inferredcites →https://doi.org/10.1145/1030194.1015472openalex-snapshot
Routing design in operational networks
inferredcites →https://doi.org/10.1145/263932.264023openalex-snapshot
The macroscopic behavior of the TCP congestion avoidance algorithm
inferredcites →https://doi.org/10.1145/633025.633027openalex-snapshot
Understanding BGP misconfiguration
inferredcites →https://doi.org/10.1145/633025.633039openalex-snapshot
Measuring ISP topologies with rocketfuel
inferredcites →https://doi.org/10.1145/633026.633027openalex-snapshot
Understanding BGP misconfiguration
inferredcites →https://doi.org/10.1145/972374.972379openalex-snapshot
The cutting EDGE of IP router configuration
inferredcites →https://doi.org/10.1145/972374.972390openalex-snapshot
Practical verification techniques for wide-area routing
inferredcites →https://doi.org/10.5555/1251203.1251207openalex-snapshot
Detecting BGP configuration faults with static analysis
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/itl2.70279openalex-snapshot
Intelligent Network Behavior Anomaly Detection Using LSTM ‐Based Deep Learning Models
inferred← citeshttps://doi.org/10.1002/nem.1917openalex-snapshot
Inter‐function anomaly analysis for correct SDN/NFV deployment
inferred← citeshttps://doi.org/10.1002/spe.1014openalex-snapshot
Scalable model‐based configuration management of security services in complex enterprise networks
inferred← citeshttps://doi.org/10.1007/11907466_16openalex-snapshot
Using Argumentation Logic for Firewall Policy Specification and Analysis
inferred← citeshttps://doi.org/10.1007/978-3-030-05529-5_23openalex-snapshot
Automata-Based Bottom-Up Design of Conflict-Free Security Policies Specified as Policy Expressions
inferred← citeshttps://doi.org/10.1007/978-3-030-17065-3_30openalex-snapshot
A Novel Concept of Firewall-Filtering Service Based on Rules Trust-Risk Assessment
inferred← citeshttps://doi.org/10.1007/978-3-030-53288-8_9openalex-snapshot
Stratified Abstraction of Access Control Policies
inferred← citeshttps://doi.org/10.1007/978-3-030-91738-8_46openalex-snapshot
Towards Automatic Rule Conflict Detection in Snort
inferred← citeshttps://doi.org/10.1007/978-3-031-02067-4_9openalex-snapshot
Policy Modeling and Anomaly Detection in ABAC Policies
inferred← citeshttps://doi.org/10.1007/978-3-319-01433-3_1openalex-snapshot
Towards a Unified Modeling and Verification of Network and System Security Configurations
inferred← citeshttps://doi.org/10.1007/978-3-319-17040-4_14openalex-snapshot
A Formal Approach to Verify Completeness and Detect Anomalies in Firewall Security Policies
inferred← citeshttps://doi.org/10.1007/978-3-319-41483-6_19openalex-snapshot
Reasoning About Firewall Policies Through Refinement and Composition
inferred← citeshttps://doi.org/10.1007/978-3-319-46140-3_19openalex-snapshot
An Approach to Resolve NP-Hard Problems of Firewalls
inferred← citeshttps://doi.org/10.1007/978-3-319-63390-9_14openalex-snapshot
Network-Wide Configuration Synthesis
inferred← citeshttps://doi.org/10.1007/978-3-319-65930-5_30openalex-snapshot
A New FDD-Based Method for Distributed Firewall Misconfigurations Resolution
inferred← citeshttps://doi.org/10.1007/978-3-319-89722-6openalex-snapshot
Principles of Security and Trust
inferred← citeshttps://doi.org/10.1007/978-3-319-93692-5_22openalex-snapshot
The Semantics Loss Tracker of Firewall Rules
inferred← citeshttps://doi.org/10.1007/978-3-540-74835-9_11openalex-snapshot
Change-Impact Analysis of Firewall Policies
inferred← citeshttps://doi.org/10.1007/978-3-642-01190-0_4openalex-snapshot
Ontology-Based Tools for Automating Integration and Validation of Firewall Rules
inferred← citeshttps://doi.org/10.1007/978-3-642-03354-4_49openalex-snapshot
A New Method for Creating Efficient Security Policies in Virtual Private Network
inferred← citeshttps://doi.org/10.1007/978-3-642-10772-6_10openalex-snapshot
Formal Verification of Security Policy Implementations in Enterprise Networks
inferred← citeshttps://doi.org/10.1007/978-3-642-15512-3_4openalex-snapshot
Improving NFA-Based Signature Matching Using Ordered Binary Decision Diagrams
inferred← citeshttps://doi.org/10.1007/978-3-642-16825-3_1openalex-snapshot
Automating Security Configuration and Administration: An Access Control Perspective
inferred← citeshttps://doi.org/10.1007/978-3-642-19348-4_15openalex-snapshot
MIRAGE: A Management Tool for the Analysis and Deployment of Network Security Policies
inferred← citeshttps://doi.org/10.1007/978-3-642-21984-9_42openalex-snapshot
Dealing with Stateful Firewall Checking
inferred← citeshttps://doi.org/10.1007/978-3-642-25206-8_2openalex-snapshot
Static Analysis of Routing and Firewall Policy Configurations
inferred← citeshttps://doi.org/10.1007/978-3-642-30436-1_15openalex-snapshot
Handling Stateful Firewall Anomalies
inferred← citeshttps://doi.org/10.1007/978-3-642-33536-5_12openalex-snapshot
Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud
inferred← citeshttps://doi.org/10.1007/978-3-642-34883-9_22openalex-snapshot
Limitation of Listed-Rule Firewall and the Design of Tree-Rule Firewall
inferred← citeshttps://doi.org/10.1007/978-3-642-41591-3_11openalex-snapshot
MapReduce-Based Parallel Algorithm for Detecting and Resolving of Firewall Policy Conflict
inferred← citeshttps://doi.org/10.1007/978-3-658-21655-9_41openalex-snapshot
Learning from the Past: Designing Secure Network Protocols
inferred← citeshttps://doi.org/10.1007/978-3-7091-0738-6_19openalex-snapshot
The Utility of Inconsistency in Information Security and Digital Forensics
inferred← citeshttps://doi.org/10.1007/978-981-13-8614-5_2openalex-snapshot
Maintaining Consistent Firewalls and Flows (CFF) in Software-Defined Networks
inferred← citeshttps://doi.org/10.1007/978-981-16-0749-3_3openalex-snapshot
Smart Grid Cybervulnerabilities and Mitigation Measures
inferred← citeshttps://doi.org/10.1007/s10207-007-0045-7openalex-snapshot
Complete analysis of configuration rules to guarantee reliable network security policies
inferred← citeshttps://doi.org/10.1007/s10207-015-0290-0openalex-snapshot
Detection of firewall configuration errors with updatable tree
inferred← citeshttps://doi.org/10.1007/s10207-018-0421-5openalex-snapshot
Analyzing XACML policies using answer set programming
inferred← citeshttps://doi.org/10.1007/s10462-009-9147-0openalex-snapshot
A formal logic approach to firewall packet filtering analysis and generation
inferred← citeshttps://doi.org/10.1007/s10703-020-00346-0openalex-snapshot
Automated repair by example for firewalls
inferred← citeshttps://doi.org/10.1007/s10817-017-9445-1openalex-snapshot
Verified iptables Firewall Analysis and Verification
inferred← citeshttps://doi.org/10.1007/s10922-017-9423-2openalex-snapshot
Data Plane Programmability Beyond OpenFlow: Opportunities and Challenges for Network and Service Operations and Management
inferred← citeshttps://doi.org/10.1007/s10922-017-9440-1openalex-snapshot
Human Factors in Network Reliability Engineering
inferred← citeshttps://doi.org/10.1007/s11235-011-9585-2openalex-snapshot
On formal reachability analysis in networks with dynamic behavior
inferred← citeshttps://doi.org/10.1016/b978-0-12-415815-3.00024-8openalex-snapshot
Formal Analysis of Policy-Based Security Configurations in Enterprise Networks
inferred← citeshttps://doi.org/10.1016/j.comcom.2017.11.011openalex-snapshot
Fast packet classification algorithm for network-wide forwarding behaviors
inferred← citeshttps://doi.org/10.1016/j.comnet.2009.07.003openalex-snapshot
Firewall policy verification and troubleshooting
inferred← citeshttps://doi.org/10.1016/j.comnet.2011.07.002openalex-snapshot
Fast, memory-efficient regular expression matching with NFA-OBDDs
inferred← citeshttps://doi.org/10.1016/j.comnet.2012.06.014openalex-snapshot
Improving manageability through reorganization of routing-policy configurations
inferred← citeshttps://doi.org/10.1016/j.comnet.2016.09.014openalex-snapshot
SDN state inconsistency verification in openstack
inferred← citeshttps://doi.org/10.1016/j.compeleceng.2017.02.019openalex-snapshot
Assessing network authorization policies via reachability analysis
inferred← citeshttps://doi.org/10.1016/j.cose.2010.09.001openalex-snapshot
Patient-centric authorization framework for electronic healthcare services
inferred← citeshttps://doi.org/10.1016/j.cose.2011.10.003openalex-snapshot
Formal security policy implementations in network firewalls
inferred← citeshttps://doi.org/10.1016/j.cose.2013.01.004openalex-snapshot
Management of stateful firewall misconfiguration
inferred← citeshttps://doi.org/10.1016/j.cose.2019.101597openalex-snapshot
Towards a reliable firewall for software-defined networks
inferred← citeshttps://doi.org/10.1016/j.future.2013.06.024openalex-snapshot
Improving cloud network security using the Tree-Rule firewall
inferred← citeshttps://doi.org/10.1016/j.ijepes.2017.12.020openalex-snapshot
Cyber security of a power grid: State-of-the-art
inferred← citeshttps://doi.org/10.1016/j.infsof.2008.05.001openalex-snapshot
Model-Based Development of firewall rule sets: Diagnosing model inconsistencies
inferred← citeshttps://doi.org/10.1016/j.jisa.2016.02.001openalex-snapshot
A taxonomy for attack graph generation and usage in network security
inferred← citeshttps://doi.org/10.1016/j.jksuci.2016.11.008openalex-snapshot
A formal basis for the design and analysis of firewall security policies
inferred← citeshttps://doi.org/10.1016/j.jocs.2017.09.003openalex-snapshot
FARE: FDD-based firewall anomalies resolution tool
inferred← citeshttps://doi.org/10.1016/j.jss.2011.09.008openalex-snapshot
CONFIDDENT: A model-driven consistent and non-redundant layer-3 firewall ACL design, development and maintenance framework
inferred← citeshttps://doi.org/10.1016/j.physa.2019.122492openalex-snapshot
An efficient hybrid deep learning approach for internet security
inferred← citeshttps://doi.org/10.1016/j.procs.2015.08.429openalex-snapshot
Modeling Firewalls for Behavior Analysis
inferred← citeshttps://doi.org/10.1016/j.procs.2016.02.007openalex-snapshot
Placement of Security Devices in Cloud Data Centre Network: Analysis and Implementation
inferred← citeshttps://doi.org/10.1049/iet-net.2013.0090openalex-snapshot
Formal integrated network security analysis tool: formal query‐based network security configuration analysis
inferred← citeshttps://doi.org/10.1080/08839510903208088openalex-snapshot
VERIFICATION OF DISTRIBUTED FIREWALLS CONFIGURATION VS. SECURITY POLICIES USING ℒℐ()
inferred← citeshttps://doi.org/10.1080/19393555.2016.1272726openalex-snapshot
Automated policy generation for testing access control software
inferred← citeshttps://doi.org/10.1108/10662240710828049openalex-snapshot
Managing semantic‐aware policies in a distributed firewall scenario
inferred← citeshttps://doi.org/10.1109/access.2018.2810834openalex-snapshot
Rule Anomaly-Free Mechanism of Security Function Chaining in 5G
inferred← citeshttps://doi.org/10.1109/access.2018.2850345openalex-snapshot
Improved Session Table Architecture for Denial of Stateful Firewall Attacks
inferred← citeshttps://doi.org/10.1109/access.2018.2889194openalex-snapshot
A Novel Approach to Rule Placement in Software-Defined Networks Based on OPTree
inferred← citeshttps://doi.org/10.1109/access.2020.2967503openalex-snapshot
Secure Collecting, Optimizing, and Deploying of Firewall Rules in Software-Defined Networks
inferred← citeshttps://doi.org/10.1109/access.2021.3100141openalex-snapshot
F/Wvis: Hierarchical Visual Approach for Effective Optimization of Firewall Policy
inferred← citeshttps://doi.org/10.1109/access.2023.3328194openalex-snapshot
An Optimized Approach for Assisted Firewall Anomaly Resolution
inferred← citeshttps://doi.org/10.1109/access.2023.3346922openalex-snapshot
HSViz-II: Octet Layered Hierarchy Simplified Visualizations for Distributed Firewall Policy Analysis
inferred← citeshttps://doi.org/10.1109/access.2026.3724564openalex-snapshot
The Digital Twin as a Mechanism for Continuous Cybersecurity Policy Verification: A Functional Analysis of the Policy-to-Practice Translation
inferred← citeshttps://doi.org/10.1109/acsac.2006.39openalex-snapshot
Practical Attack Graph Generation for Network Defense
inferred← citeshttps://doi.org/10.1109/acsac.2008.48openalex-snapshot
Assessing Quality of Policy Properties in Verification of Access Control Policies
inferred← citeshttps://doi.org/10.1109/acsac.2009.21openalex-snapshot
Modeling Modern Network Attacks and Countermeasures Using Attack Graphs
inferred← citeshttps://doi.org/10.1109/aiccsa.2007.370727openalex-snapshot
On Optimal Firewall Rule Ordering
inferred← citeshttps://doi.org/10.1109/aina.2009.116openalex-snapshot
A Hierarchical Model for Firewall Policy Extraction
inferred← citeshttps://doi.org/10.1109/aina.2010.63openalex-snapshot
A Quadratic, Complete, and Minimal Consistency Diagnosis Process for Firewall ACLs
inferred← citeshttps://doi.org/10.1109/andescon.2018.8564655openalex-snapshot
An Efficient Method for Ontology-Based Multi-Vendor Firewall Misconfiguration Detection: A Real-Case Study
inferred← citeshttps://doi.org/10.1109/apan70967.2026.11709811openalex-snapshot
Firewall Normal Form: A Normalization Framework for Firewall Management and Anomaly Correction
inferred← citeshttps://doi.org/10.1109/apnoms.2011.6077015openalex-snapshot
Efficient method for inferring a firewall policy
inferred← citeshttps://doi.org/10.1109/ares.2007.34openalex-snapshot
Aggregating and Deploying Network Access Control Policies
inferred← citeshttps://doi.org/10.1109/ares.2008.42openalex-snapshot
Fast Algorithms for Consistency-Based Diagnosis of Firewall Rule Sets
inferred← citeshttps://doi.org/10.1109/cicybs.2014.7013366openalex-snapshot
Automatic attack surface reduction in next-generation industrial control systems
inferred← citeshttps://doi.org/10.1109/cis.2007.25openalex-snapshot
Game Theory Based Optimization of Security Configuration
inferred← citeshttps://doi.org/10.1109/cit.2010.186openalex-snapshot
Simultaneous Analysis of Time and Space for Conflict Detection in Time-Based Firewall Policies
inferred← citeshttps://doi.org/10.1109/cit.2010.96openalex-snapshot
A Query based Formal Security Analysis Framework for Enterprise LAN
inferred← citeshttps://doi.org/10.1109/cit.2011.84openalex-snapshot
A Fully Automatic Approach for Fixing Firewall Misconfigurations
inferred← citeshttps://doi.org/10.1109/cns.2015.7346867openalex-snapshot
A firewall algebra for OpenStack
inferred← citeshttps://doi.org/10.1109/cns.2016.7860491openalex-snapshot
Automated synthesis of resiliency configurations for cyber networks
inferred← citeshttps://doi.org/10.1109/compsac.2016.104openalex-snapshot
Efficient Design of Firewall Temporal Policies
inferred← citeshttps://doi.org/10.1109/comst.2018.2868050openalex-snapshot
A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges
inferred← citeshttps://doi.org/10.1109/congress.2009.12openalex-snapshot
Classification and Discovery of Rule Misconfigurations in Intrusion Detection and Response Devices
inferred← citeshttps://doi.org/10.1109/crisis.2008.4757489openalex-snapshot
Towards an automated firewall security policies validation process
inferred← citeshttps://doi.org/10.1109/cybersa52016.2021.9478256openalex-snapshot
An Anomaly Free Distributed Firewall System for SDN
inferred← citeshttps://doi.org/10.1109/dsc65356.2025.11260876openalex-snapshot
Can AI Outsmart Firewall Errors? A Study on LLMs for Anomaly Generation and Detection
inferred← citeshttps://doi.org/10.1109/dsn-s70715.2026.00032openalex-snapshot
SNAS: A Multi-Layer Defense-in-Depth Architecture for Secure Egress in Sandboxed Workloads
inferred← citeshttps://doi.org/10.1109/ecbs.2011.24openalex-snapshot
Reachability Analysis in Dynamically Routed Networks
inferred← citeshttps://doi.org/10.1109/eitech.2015.7162931openalex-snapshot
The migration of the university IT infrastructure toward a secure IaaS Cloud
inferred← citeshttps://doi.org/10.1109/elcon-cp69823.2026.11452203openalex-snapshot
Sat-Based Model for Verifying Access Policies with Graph Zone Decomposition in Critical Information Infrastructure Networks
inferred← citeshttps://doi.org/10.1109/estel.2012.6400092openalex-snapshot
Conflict detection in security policies using Semantic Web technology
inferred← citeshttps://doi.org/10.1109/eurosp.2018.00015openalex-snapshot
Language-Independent Synthesis of Firewall Policies
inferred← citeshttps://doi.org/10.1109/fie.2016.7757537openalex-snapshot
Teaching-learning firewall configuration using a visual modeling web based tool: The SP2Model and its application to Computer Science course
inferred← citeshttps://doi.org/10.1109/glocom.2008.ecp.388openalex-snapshot
Verification of Distributed Firewalls
inferred← citeshttps://doi.org/10.1109/glocom.2010.5684053openalex-snapshot
Queuing Analysis of Network Firewalls
inferred← citeshttps://doi.org/10.1109/glocom.2014.7037590openalex-snapshot
MoRule: Optimized rule placement for mobile users in SDN-enabled access networks
inferred← citeshttps://doi.org/10.1109/hpcc-dss-smartcity-dependsys57074.2022.00226openalex-snapshot
Firewall Management: Rapid Anomaly Detection
inferred← citeshttps://doi.org/10.1109/iadcc.2009.4809153openalex-snapshot
A Verification framework for Analyzing Security Implementations in an Enterprise LAN
inferred← citeshttps://doi.org/10.1109/ias.2008.52openalex-snapshot
An Automated Validation Method for Security Policies: The Firewall Case
inferred← citeshttps://doi.org/10.1109/ic2e.2019.00027openalex-snapshot
ShadeNF: Testing Online Network Functions
inferred← citeshttps://doi.org/10.1109/icact.2007.358716openalex-snapshot
A Heuristic Approach for Firewall Policy Optimization
inferred← citeshttps://doi.org/10.1109/icatcct.2016.7912063openalex-snapshot
Increasing the performance of the firewall by providing customized policies
inferred← citeshttps://doi.org/10.1109/icc.2008.289openalex-snapshot
Formal Verification of Firewall Policies
inferred← citeshttps://doi.org/10.1109/icccn.2010.5560074openalex-snapshot
An Improved Conflict Detection System with Periodic Cycle Treatment for Time-Based Firewall Policies
inferred← citeshttps://doi.org/10.1109/icccn.2015.7288376openalex-snapshot
An Effective Policy Relocation Scheme for VM Migration in Software-Defined Networks
inferred← citeshttps://doi.org/10.1109/iccse1.2018.8374204openalex-snapshot
Anomaly Detection: Firewalls Capabilities and Limitations
inferred← citeshttps://doi.org/10.1109/icdcs.2010.68openalex-snapshot
Projection and Division: Linear-Space Verification of Firewalls
inferred← citeshttps://doi.org/10.1109/icdcs.2013.70openalex-snapshot
A Formal Framework for Network Security Design Synthesis
inferred← citeshttps://doi.org/10.1109/icdcs.2017.55openalex-snapshot
Pronto: Efficient Test Packet Generation for Dynamic Network Data Planes
inferred← citeshttps://doi.org/10.1109/icdecom.2011.5738566openalex-snapshot
Performance Evaluation and Comparative Analysis of Network Firewalls
inferred← citeshttps://doi.org/10.1109/icgce.2013.6823553openalex-snapshot
Firewall log analysis and dynamic rule re-ordering in firewall policy anomaly management framework
inferred← citeshttps://doi.org/10.1109/icist.2016.7483393openalex-snapshot
Optimization design and implementation of gateway based on firewall for access control
inferred← citeshttps://doi.org/10.1109/icnp.2007.4375860openalex-snapshot
FireCracker: A Framework for Inferring Firewall Policies using Smart Probing
inferred← citeshttps://doi.org/10.1109/icnp.2009.5339690openalex-snapshot
Network configuration in a box: towards end-to-end verification of network reachability and security
inferred← citeshttps://doi.org/10.1109/icnp.2009.5339691openalex-snapshot
Linear-time verification of firewalls
inferred← citeshttps://doi.org/10.1109/icnp.2010.5762766openalex-snapshot
Firewall modules and modular firewalls
inferred← citeshttps://doi.org/10.1109/icnp.2014.42openalex-snapshot
Secgras: Security Group Analysis as a Cloud Service
inferred← citeshttps://doi.org/10.1109/icnp.2014.52openalex-snapshot
Rethinking Packet Classification for Global Network View of Software-Defined Networking
inferred← citeshttps://doi.org/10.1109/icnp.2019.8888144openalex-snapshot
A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification
inferred← citeshttps://doi.org/10.1109/icnp49622.2020.9259353openalex-snapshot
Misconfiguration Checking for SDN: Data Structure, Theory and Algorithms
inferred← citeshttps://doi.org/10.1109/icstw.2013.62openalex-snapshot
A Query Driven Security Testing Framework for Enterprise Network
inferred← citeshttps://doi.org/10.1109/icufn.2013.6614818openalex-snapshot
Lightweight detecting and resolving algorithm for firewall policy conflict
inferred← citeshttps://doi.org/10.1109/ieeegcc.2011.5752565openalex-snapshot
A delay-based probing technique for the discovery of a firewall's accept rules
inferred← citeshttps://doi.org/10.1109/ifipnetworking.2016.7497196openalex-snapshot
Verified iptables firewall analysis
inferred← citeshttps://doi.org/10.1109/ifipnetworking.2016.7497226openalex-snapshot
Anomaly-free policy composition in software-defined networks
inferred← citeshttps://doi.org/10.1109/imis.2011.43openalex-snapshot
A Framework of Network Security Situation Analysis Based on the Technologies of Event Correlation and Situation Assessment
inferred← citeshttps://doi.org/10.1109/infcom.2011.5935023openalex-snapshot
Firewall verification and redundancy checking are equivalent
inferred← citeshttps://doi.org/10.1109/infcom.2011.5935129openalex-snapshot
A cross-domain privacy-preserving protocol for cooperative firewall optimization
inferred← citeshttps://doi.org/10.1109/infocom.2016.7524508openalex-snapshot
Understanding security group usage in a public IaaS cloud
inferred← citeshttps://doi.org/10.1109/inm.2009.5188808openalex-snapshot
Using argumentation logic for firewall configuration management
inferred← citeshttps://doi.org/10.1109/inmic.2009.5383125openalex-snapshot
Analyzing and resolving anomalies in firewall security policies based on propositional logic
inferred← citeshttps://doi.org/10.1109/inmic.2012.6511505openalex-snapshot
Formal reasoning of web application Firewall rules through ontological modeling
inferred← citeshttps://doi.org/10.1109/ipccc59175.2023.10253841openalex-snapshot
FuzzyCAT: A Framework for Network Configuration Verification Based on Fuzzing
inferred← citeshttps://doi.org/10.1109/ipdps.2009.5161245openalex-snapshot
A topological approach to detect conflicts in firewall policies
inferred← citeshttps://doi.org/10.1109/iri.2010.5558951openalex-snapshot
Inconsistencies in information security and digital forensics
inferred← citeshttps://doi.org/10.1109/iri.2013.6642446openalex-snapshot
FIEP: An initial design of a firewall information exchange protocol
inferred← citeshttps://doi.org/10.1109/iri.2014.7051864openalex-snapshot
Detecting and resolving inconsistencies in firewalls
inferred← citeshttps://doi.org/10.1109/iscc.2014.6912478openalex-snapshot
A formal framework for verifying inter-firewalls consistency
inferred← citeshttps://doi.org/10.1109/iscc.2016.7543759openalex-snapshot
Malachite: Firewall policy comparison
inferred← citeshttps://doi.org/10.1109/iscid.2015.68openalex-snapshot
An Optimized Method of Firewall Policy Exception Handling In Cloud Environment
inferred← citeshttps://doi.org/10.1109/ised.2012.72openalex-snapshot
Policy Based ACL Configuration Synthesis in Enterprise Networks: A Formal Approach
inferred← citeshttps://doi.org/10.1109/ispa-bdcloud-sustaincom-socialcom48970.2019.00069openalex-snapshot
A Conflict Detection Method for IPv6 Time-Based Firewall Policy
inferred← citeshttps://doi.org/10.1109/iwcmc.2019.8766470openalex-snapshot
FW-TR: Towards a Novel Generation of Firewalls Based on Trust-Risk Assessment of Filtering Rules and Policies
inferred← citeshttps://doi.org/10.1109/iwqos.2008.30openalex-snapshot
Dynamic Balancing of Packet Filtering Workloads on Distributed Firewalls
inferred← citeshttps://doi.org/10.1109/jns2.2012.6249234openalex-snapshot
Vers une formalisation des politiques de sécurité
inferred← citeshttps://doi.org/10.1109/jsac.2009.090405openalex-snapshot
Netpiler: detection of ineffective router configurations
inferred← citeshttps://doi.org/10.1109/lcn.2011.6115188openalex-snapshot
Enabling flexible packet filtering through the K-map priority elimination technique
inferred← citeshttps://doi.org/10.1109/lcn.2016.15openalex-snapshot
On Assisted Packet Filter Conflicts Resolution: An Iterative Relaxed Approach
inferred← citeshttps://doi.org/10.1109/milcom.2010.5679579openalex-snapshot
Managing network security policies in tactical MANETs using DRAMA
inferred← citeshttps://doi.org/10.1109/milcom58377.2023.10356279openalex-snapshot
mMLSnet: Multilevel Security Network with Mobility
inferred← citeshttps://doi.org/10.1109/msp.2009.189openalex-snapshot
Bickering In-Depth: Rethinking the Composition of Competing Security Systems
inferred← citeshttps://doi.org/10.1109/nca.2015.31openalex-snapshot
Automated and Optimized FDD-Based Method to Fix Firewall Misconfigurations
inferred← citeshttps://doi.org/10.1109/nca.2016.7778596openalex-snapshot
A security Policy Query Engine for fully automated resolution of anomalies in firewall configurations
inferred← citeshttps://doi.org/10.1109/netcom.2009.82openalex-snapshot
Fault Analysis of Security Policy Implementations in Enterprise Networks
inferred← citeshttps://doi.org/10.1109/netsys.2017.7903956openalex-snapshot
FaVe: Modeling IPv6 firewalls for fast formal verification
inferred← citeshttps://doi.org/10.1109/noms.2012.6211927openalex-snapshot
End-to-end verification of QoS policies
inferred← citeshttps://doi.org/10.1109/noms.2012.6211932openalex-snapshot
Firewall anomaly detection with a model checker for visibility logic
inferred← citeshttps://doi.org/10.1109/nomsw.2007.24openalex-snapshot
Notice of Violation of IEEE Publication Principles: On the Safety and Efficiency of Firewall Policy Deployment
inferred← citeshttps://doi.org/10.1109/pdp.2013.86openalex-snapshot
Improved Reachability Analysis for Security Management
inferred← citeshttps://doi.org/10.1109/policy.2009.32openalex-snapshot
Model Checking Firewall Policy Configurations
inferred← citeshttps://doi.org/10.1109/pst.2014.6890953openalex-snapshot
Automata-based approach to design and analyze security policies
inferred← citeshttps://doi.org/10.1109/rcis.2014.6861044openalex-snapshot
Formal approach for managing firewall misconfigurations
inferred← citeshttps://doi.org/10.1109/resgenxai64788.2025.11344023openalex-snapshot
Enhancing Network Security Using iptables Automation for Firewall Configuration
inferred← citeshttps://doi.org/10.1109/rndm.2015.7325238openalex-snapshot
Detection and prevention of firewall-rule conflicts on software-defined networking
inferred← citeshttps://doi.org/10.1109/siva.2018.8660973openalex-snapshot
IPsec/Firewall Security Policy Analysis: A Survey
inferred← citeshttps://doi.org/10.1109/smartgridcomm.2016.7778801openalex-snapshot
Validating resiliency in Software Defined Networks for smart grids
inferred← citeshttps://doi.org/10.1109/socialcom.2010.126openalex-snapshot
Automatic Conformance Verification of Distributed Firewalls to Security Requirements
inferred← citeshttps://doi.org/10.1109/sp.2007.32openalex-snapshot
On the Safety and Efficiency of Firewall Policy Deployment
inferred← citeshttps://doi.org/10.1109/sp.2019.00009openalex-snapshot
Why Does Your Data Leak? Uncovering the Data Leakage in Cloud from Mobile Apps
inferred← citeshttps://doi.org/10.1109/sp54263.2024.00144openalex-snapshot
Pryde: A Modular Generalizable Workflow for Uncovering Evasion Attacks Against Stateful Firewall Deployments
inferred← citeshttps://doi.org/10.1109/sp61157.2025.00164openalex-snapshot
Beyond the Horizon: Uncovering Hosts and Services Behind Misconfigured Firewalls
inferred← citeshttps://doi.org/10.1109/srds.2008.34openalex-snapshot
Systematic Structural Testing of Firewall Policies
inferred← citeshttps://doi.org/10.1109/ssiri.2009.63openalex-snapshot
Detection of Multiple-Duty-Related Security Leakage in Access Control Policies
inferred← citeshttps://doi.org/10.1109/tcc.2016.2554548openalex-snapshot
Hybrid Tree-Rule Firewall for High Speed Data Transmission
inferred← citeshttps://doi.org/10.1109/tdsc.2012.20openalex-snapshot
Detecting and Resolving Firewall Policy Anomalies
inferred← citeshttps://doi.org/10.1109/tdsc.2013.18openalex-snapshot
Discovery and Resolution of Anomalies in Web Access Control Policies
inferred← citeshttps://doi.org/10.1109/tdsc.2015.2455532openalex-snapshot
Hardness of Firewall Analysis
inferred← citeshttps://doi.org/10.1109/tdsc.2017.2726066openalex-snapshot
Brew: A Security Policy Analysis Framework for Distributed SDN-Based Cloud Environments
inferred← citeshttps://doi.org/10.1109/tdsc.2022.3185096openalex-snapshot
Misconfiguration-Free Compositional SDN for Cloud Networks
inferred← citeshttps://doi.org/10.1109/tdsc.2024.3495230openalex-snapshot
Atomizing Firewall Policies for Anomaly Analysis and Resolution
inferred← citeshttps://doi.org/10.1109/tifs.2013.2296874openalex-snapshot
Firewall Policy Reconnaissance: Techniques and Analysis
inferred← citeshttps://doi.org/10.1109/time.2009.15openalex-snapshot
Strong Temporal, Weak Spatial Logic for Rule Based Filters
showing the first 200 of 345 · page through all 345
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.