Towards Automated Verification of Active Cyber Defense Strategies on Software Defined Networks.

Mohammed Noraden Alsaleh Ehab Al-Shaer

Published in: SafeConfig@CCS (2016)

Keyphrases

automated verification
cyber defense
model checking
formal verification
automated reasoning
information security
software development
social networks
source code
cyber attacks
natural language
computer systems
real time
computer networks
software projects
artificial intelligence
data mining