Synaptic: A formal checker for SDN-based security policies.
Nicolas SchnepfRemi BadonnelAbdelkader LahmadiStephan MerzPublished in: NOMS (2018)
Keyphrases
- security policies
- access control
- network security
- formal specification
- security management
- security requirements
- distributed systems
- security concerns
- access control systems
- cyber attacks
- access control mechanism
- home network
- access control policies
- learning rules
- process algebra
- unauthorized access
- formal methods
- multilevel secure
- spiking neural networks
- data mining
- feed forward
- fine grained
- reinforcement learning