Inter-function anomaly analysis for correct SDN/NFV deployment

Implementing the security of a network consists in individually configuring several network functions. Network functions are configured by means of a policy composed of a set of rules but their actual behaviour is influenced by the policies implemented by all the other network functions around them. This paper proposes a formal model that can be used to detect inter-function anomalies, that are defined as interference between two or more functions deployed in the same network. We have proved with experiments that the proposed model is fast and scalable.