The paper discusses formal methods for building network-level security policies. Currently, firewalls and IDS/IPS are mainly used to ensure security at the network level of the ISO/OSI model. At the ...