Visible to the public Towards Automated Verification of Active Cyber Defense Strategies on Software Defined NetworksConflict Detection Enabled

TitleTowards Automated Verification of Active Cyber Defense Strategies on Software Defined Networks
Publication TypeConference Paper
Year of Publication2016
AuthorsMohammed Alsaleh, Ehab Al-Shaer
Conference NameACM CCS SafeConfig '16 Proceedings of the 2016 ACM Workshop on Automated Decision Making for Active Cyber Defense:
Date Published10/2016
PublisherACM
Conference LocationVienna, Austria
Keywordsactive cyber defense, Resiliency, SDN, verification
Citation Keynode-31240
Refereed DesignationRefereed

Other available formats:

safe06-Alsaleh.pdf
AttachmentTaxonomyKindSize
safe06-Alsaleh.pdfPDF document1.12 MBDownloadPreview
AttachmentSize
bytes