MANAGING SECURITY POLICIES AT VARIOUS LEVELS OF THE ISO\OSI MODEL IN SDN (METHODS OF FORMAL CALCULATION FOR NETWORK LEVEL SECURITY POLICIES)статья