Abstract | ||
---|---|---|
Software-defined networking offers new opportunities for protecting end users by designing dynamic security policies. In particular, security chains can be built by combining security functions, such as firewalls, intrusion detection systems and services for preventing data leakage. The configuration of these security functions and their associated policies is based on behavioural models of end-user applications when accessing the network. In this demo, we present our tool Synaptic, a SDN-based framework intended for the formal verification of security policies as well as for automatically generating such policies based on automata learning methods applied on NetFlow records of end-user applications collected at the device level. |
Year | Venue | Field |
---|---|---|
2018 | IEEE IFIP Network Operations and Management Symposium | Learning automata,End user,NetFlow,Computer science,Automaton,Computer network,Security policy,Intrusion detection system,Automata learning,Formal verification |
DocType | ISSN | Citations |
Conference | 1542-1201 | 0 |
PageRank | References | Authors |
0.34 | 0 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Nicolas Schnepf | 1 | 1 | 2.04 |
Remi Badonnel | 2 | 154 | 22.43 |
Abdelkader Lahmadi | 3 | 90 | 18.46 |
Stephan Merz | 4 | 741 | 59.44 |