Automated verification of security chains in software-defined networks with synaptic.
Nicolas SchnepfRemi BadonnelAbdelkader LahmadiStephan MerzPublished in: NetSoft (2017)
Keyphrases
- automated verification
- formal verification
- model checking
- automated reasoning
- security issues
- spiking neural networks
- feed forward
- computer networks
- social networks
- enterprise network
- security vulnerabilities
- computer security
- software systems
- network security
- information security
- machine learning
- software architecture
- access control
- complex networks
- network structure
- security policies
- network management
- computer systems
- software development
- source code
- knowledge representation
- artificial neural networks
- windows xp
- artificial intelligence