Title | Towards Automated Verification of Active Cyber Defense Strategies on Software Defined Networks |
Publication Type | Conference Paper |
Year of Publication | 2016 |
Authors | Mohammed Alsaleh, Ehab Al-Shaer |
Conference Name | ACM CCS SafeConfig '16 Proceedings of the 2016 ACM Workshop on Automated Decision Making for Active Cyber Defense: |
Date Published | 10/2016 |
Publisher | ACM |
Conference Location | Vienna, Austria |
Keywords | active cyber defense, Resiliency, SDN, verification |
Citation Key | node-31240 |
Refereed Designation | Refereed |