@inproceedings{schnepf:hal-01630806, TITLE = {{Automated Verification of Security Chains in Software-Defined Networks with Synaptic}}, AUTHOR = {Schnepf, Nicolas and Badonnel, R{\'e}mi and Lahmadi, Abdelkader and Merz, Stephan}, URL = {https://inria.hal.science/hal-01630806}, BOOKTITLE = {{NetSoft 2017 - IEEE Conference on Network Softwarization}}, ADDRESS = {Bologna, Italy}, PUBLISHER = {{IEEE Computer Society}}, PAGES = {9pp.}, YEAR = {2017}, MONTH = Jul, DOI = {10.1109/NETSOFT.2017.8004195}, KEYWORDS = {Security Management ; Software-Defined Networking ; Formal Verification}, PDF = {https://inria.hal.science/hal-01630806/file/camera-ready.pdf}, HAL_ID = {hal-01630806}, HAL_VERSION = {v1}, }