Formal assurance of security policies in automated network orchestration (SDN/NFV)