Enhancing Artificial Intelligence with Verification Techniques to Support Automated Moving Target Defense in Cloud Composite Services.

Mohamed Oulaaffart, Rmi Badonnel, Nicolas Schnepf, Christophe Bianco

Browse the full NetSoft paper archive.