Skip to content

Automatic, Verifiable and Optimized Policy-based Security Enforcement for SDN-aware IoT networks

· 3 citations · 48 references

TL;DR

A novel methodology which leverages Maximum Satisfiability Modulo Theories (MaxSMT) to automatically compute a formally correct and optimized allocation scheme and configuration of SDN switches by refining security policies, user-defined or derived from detected attacks is proposed.

View source

Similar papers

Conference Open access 2026

Mitigating Security Challenges in 5G Wireless Networks

An AI-assisted, cross-layer security orchestration framework that integrates epoch-wise telemetry with ML-based risk estimation and formalizes mitigation as a Constrained Markov Decision Process (CMDP), and empirical evidence that adaptive mitigation can reduce security risk without sacrificing service guarantees is pr...

F. Philip-Kpae, A. Imoize, K. .. Okafor et al. · 0 citations
Open access Aug 2026

Zero Trust Architecture for Industrial IoT Networks

The study concludes that Zero Trust is most practical in IIoT when implemented incrementally, with OT safety and availability treated as first-class requirements and legacy assets protected through compensating controls rather than forced modernization.

M. Abba, W. Blessing, Raymond Ternenge Igbudu · 0 citations
Open access Aug 2026

Research on Communication Protocol Security Compliance Mechanism in Digital Enterprise Management

This study presents a protocol-agnostic, continuous compliance mechanism for ensuring communication protocol security in digital enterprise management. The framework integrates multi-protocol environments—including HTTP/S, MQTT, Modbus TCP, OPC UA, and DNP3—across ERP, MES, and IoT systems. It features a three-layer ar...

Y.-M. Huang · 0 citations
Open access Aug 2026

An Adaptive Multi-Protocol IoT Gateway for Resilient Edge-Cloud Communication: An ns-3-Based Evaluation

An adaptive edge gateway for ZigBee-based IoT networks that can switch between MQTT and CoAP as needed, and shows that adaptive switching improves packet delivery by 15–20% during faults in comparison to static setups and reduces recovery time without much extra overhead.

Ali H. BenHusein, Mohamed Buker · 0 citations
Preprint Sep 2026

Improving Service Availability in KubeEdge-Based Architectures Using Lightweight Intrusion Detection

The increasing adoption of the Internet of Things (IoT) and cloud computing has accelerated the evolution of edge computing paradigms [1]. Industry forecasts estimate that the number of connected IoT devices will reach approximately 50 billion by 2030, following an estimated 38 billion connections by 2025 [34], resulti...

Harrol Ndjeudji Kuibou, Mostafa Anouar Ghorab, M. Saied · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.