Private to this group Biblio

Filters: Author is Ehab Al-Shaer  [Clear All Filters]
2016-12-21
Mohammed Alsaleh, Ehab Al-Shaer.  2016.  Towards Automated Verification of Active Cyber Defense Strategies on Software Defined Networks. ACM CCS SafeConfig '16 Proceedings of the 2016 ACM Workshop on Automated Decision Making for Active Cyber Defense:.