https://123dok.net/document/zpn1n404-based-synthesis-chains-security-functions-software-defined-networks.html