TY - RPRT TI - Applying static code analysis to firewall policies for the purpose of anomaly detection AU - Vadim Zaliva PY - 2011 UR - https://arxiv.org/abs/1102.1237 ID - 1102.1237 ER -