Research Output

Evaluation of binary decision diagrams for redundancy, shadowing, generalisation and correlation in an Information sharing model.

  This paper defines a structured methodology which is based on the foundational work of Al-Shaer et al. in [1] and that of Hamed and Al-Shaer in [2]. It defines a methodology for the declaration of policy field elements, through to the syntax, ontology and functional verification stages. In their works of [1] and [2] the authors concentrated on developing formal definitions of possible anomalies between rules in a network firewall rule set. Their work is considered as the foundation for further works on anomaly detection, including those of Fitzgerald et al. [3], Chen et al. [4], Hu et al. [5], among others. This paper extends this work by applying the methods to information sharing policies, and outlines the evaluation related to these.

  • Date:

    30 November 2012

  • Publication Status:

    Published

  • Publisher

    Oxford Universtiy Press

  • Library of Congress:

    QA75 Electronic computers. Computer science

  • Dewey Decimal Classification:

    004.2 Systems analysis, design & performance

Citation

Uthmani, O., Buchanan, W. J., Fan, L. & Lawson, A. (2012). Evaluation of binary decision diagrams for redundancy, shadowing, generalisation and correlation in an Information sharing model

Authors

Keywords

Policy field elements; network firewall; anomaly detection; binary decision diagrams;

Monthly Views: