Lahmadi, Abdelkader, University of Lorraine, LORIA, INRIA, France
-
Volume 76: Automated Verification of Critical Systems 2018 (AVoCS 2018) - Articles
Rule-Based Synthesis of Chains of Security Functions for Software-Defined Networks
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.