作者: Frédéric Cuppens , Nora Cuppens-Boulahia , Joaquin Garcia-Alfaro , Tarik Moataz , Xavier Rimasson
DOI: 10.1007/978-3-642-30436-1_15
关键词: Computer science 、 Computer network 、 Boolean function 、 Tuple space 、 Stateful firewall 、 Stateless protocol 、 Network Access Control 、 Information system 、 Set (abstract data type) 、 Security policy
摘要: A security policy consists of a set rules designed to protect an information system. To ensure this protection, the must be deployed on components in consistent and non-redundant manner. Unfortunately, empirical approach is often adopted by network administrators, detriment theoretical validation. While literature analysis configurations first generation (stateless) firewalls now rich, not case for second third firewalls, also known as stateful firewalls. In paper, we address limitation, provide solutions analyze handle firewall anomalies misconfiguration.