Evaluation of Binary Decision Diagrams for Redundancy, Shadowing, Generalisation and Correlation in an Information Sharing Model

Uthmani, O., Buchanan, W., Fan, L., Lawson, A. (2013). Evaluation of Binary Decision Diagrams for Redundancy, Shadowing, Generalisation and Correlation in an Information Sharing Model. Not submitted, , (), .


ISBN:
ISSN: 1460-2067

Abstract

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.
[Read More]

Authors

William Buchanan
Director of CDCS
w.buchanan@napier.ac.uk
+44 131 455 2759
Alistair Lawson
Associate Professor (Reader)
al.lawson@napier.ac.uk
+44 131 455 2730
Lu Fan
Senior Research Fellow
l.fan@napier.ac.uk
+44 131 455 2438
Omair Uthmani
Academic
o.uthmani@napier.ac.uk
+44 131 455

Areas of Expertise

Cyber-Security
Electronic information now plays a vital role in almost every aspect of our daily lives. So the need for a secure and trustworthy online infrastructure is more important than ever. without it, not only the growth of the internet but our personal interactions and the economy itself could be at risk.
Keywords: security