Expressive security policy rules using layered conceptual graphs

Croitoru, Madalina, Xiao, Liang, Dupplaw, David and Lewis, Paul (2008) Expressive security policy rules using layered conceptual graphs. [in special issue: The 27th SGAI International Conference on Artificial Intelligence] Knowledge-Based Systems, 21 (3), 209-216. (doi:10.1016/j.knosys.2007.11.006).

Record type: Article

Abstract

A method must be provided to support the analysis of security policy rules interdependencies in a (possibly distributed) environment. We propose a Conceptual Graphs based language that will allow us to represent the structure of information and to employ reasoning for consistency checking. We motivate our choice of language by the gained expressivity, the potential for depicting policy associations rigourously and by associated reasoning capabilities. We explain our approach in the context of security requirements for medical systems. We evaluate our work theoretically, by means of an example of a real world policy rule.

Text

Expressive_Security_policypdf.pdf - Version of Record

Restricted to Repository staff only

Request a copy

More information

e-pub ahead of print date: 23 November 2007

Published date: April 2008

Venue - Dates: The Twenty-seventh SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence (AI'07), 2007-11-23

Keywords: conceptual graphs, layered conceptual graphs, policy rules

Organisations: Web & Internet Science