Reasoning about firewall policies through refinement and composition-Reference-Cited by-同舟云学术

Reasoning about firewall policies through refinement and composition

Published:2018-01-08 Issue:2 Volume:26 Page:207-254
ISSN:1875-8924
Container-title:Journal of Computer Security
language:
Short-container-title:JCS

Author:

Neville Ultan¹,Foley Simon N.²

Affiliation:

1. Department of Computer Science, University College Cork, Ireland. E-mail: u.neville@cs.ucc.ie

2. IMT Atlantique, Rennes, France. E-mail: simon.foley@imt-atlantique.fr

Publisher

IOS Press

Subject

Computer Networks and Communications,Hardware and Architecture,Safety, Risk, Reliability and Quality,Software

Reference34 articles.

1. Mignis: A Semantic Based Tool for Firewall Configuration

2. E. Al-Shaer and H. Hamed, Firewall policy advisor for anomaly discovery and rule editing, in: 8th IFIP/IEEE International Symposium on Integrated Network Management, Colorado Springs, USA, March, 2003.

3. Conflict classification and analysis of distributed firewall policies;Al-Shaer;IEEE Journal on Selected Areas in Communications,2005

4. Y. Bartal, A. Mayer, K. Nissim and A. Wool, Firmato: A novel firewall management toolkit, in: 20th IEEE Symposium on Security and Privacy, Oakland, CA, USA, May, 1999.

5. G. Birkhoff, Lattice Theory, 3rd edn, American Mathematical Society Colloquium Publications, Vol. XXV, American Mathematical Society, 1967.

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Security on Top of Security: Detecting Malicious Firewall Policy Changes via K-Means Clustering;Lecture Notes in Computer Science;2024

2. Design and Optimization of Intelligent Composition Algorithm Based on Artificial Intelligence;Learning and Analytics in Intelligent Systems;2023