[ACM Press the 2016 ACM Workshop - Vienna, Austria (2016.10.24-2016.10.24)] Proceedings of the 2016 ACM Workshop on Automated Decision Making for Active Cyber Defense - SafeConfig'16 - Towards Automated Verification of Active Cyber Defense Strategies on Software Defined Networks
Alsaleh, Mohammed Noraden, Al-Shaer, EhabYear:
2016
Language:
english
DOI:
10.1145/2994475.2994482
File:
PDF, 1.16 MB
english, 2016