SDN-based security framework for the IoT in distributed grid

C Gonzalez, SM Charfadine… - … on computer and …, 2016‏ - ieeexplore.ieee.org
Software-defined networking (SDN), is evolving as a new paradigm for the next generation
of network architecture. The separation of control plane and data plane within SDN, brings …

SDN based architecture for clustered WSN

F Olivier, G Carlos, N Florent - 2015 9th International …, 2015‏ - ieeexplore.ieee.org
In this paper, we propose to the concept of software-defined networking (SDN) in wireless
sensor networks (WSNs) with a structured and hierarchical management. We argue that …

Silent self-stabilizing BFS tree algorithms revisited

S Devismes, C Johnen - Journal of Parallel and Distributed Computing, 2016‏ - Elsevier
In this paper, we revisit two fundamental results of the self-stabilizing literature about silent
BFS spanning tree constructions: the Dolev et al. algorithm and the Huang and Chen's …

A novel distributed SDN-secured architecture for the IoT

C Gonzalez, O Flauzac, F Nolot… - … on Distributed Computing …, 2016‏ - ieeexplore.ieee.org
Due to their rapid evolution, mobile devices demand for more dynamic and flexible
networking services. A major challenges of future mobile networks is the increased mobile …

Develo** a distributed software defined networking testbed for IoT

O Flauzac, C Gonzalez, F Nolot - Procedia Computer Science, 2016‏ - Elsevier
The rapid proliferation of the Internet of Things (IoT) has led to growth in the ad-hoc
networking scenario. With the recent upcoming technologies of network programmability like …

An SDN approach to route massive data flows of sensor networks

O Flauzac… - International Journal …, 2020‏ - Wiley Online Library
With the advent of the Internet of Things (IoT), more and more devices can establish a
connection with local area networks and use routing protocols to forward all information to …

A framework for certified self-stabilization

K Altisen, P Corbineau… - Logical Methods in …, 2017‏ - lmcs.episciences.org
We propose a general framework to build certified proofs of distributed self-stabilizing
algorithms with the proof assistant Coq. We first define in Coq the locally shared memory …

Self-stabilizing small k-dominating sets

AK Datta, LL Larmore, S Devismes… - International Journal of …, 2013‏ - jstage.jst.go.jp
A self-stabilizing algorithm, after transient faults hit the system and place it in some arbitrary
global state, causes the system to recover in finite time without external (eg, human) …

[HTML][HTML] Competitive self-stabilizing k-clustering

AK Datta, S Devismes, K Heurtefeux… - Theoretical Computer …, 2016‏ - Elsevier
In this paper, we give a silent self-stabilizing algorithm for constructing a k-clustering of any
asynchronous connected network with unique IDs. Our algorithm stabilizes in O (n) rounds …

Self-stabilizing k-hops clustering algorithm for wireless ad hoc networks

M Ba, O Flauzac, BS Haggar, F Nolot… - Proceedings of the 7th …, 2013‏ - dl.acm.org
Most Ad Hoc networks use communications based on diffusion that are typically expensive
and may cause network saturation. In order to optimize these communications, one …