Dealing with the formal analysis of Information Security policies through ontologies: a case study

  • Authors:

  • G. M. H. da Silva;A. Rademaker;D. R. Vasconcelos;F. N. Amaral;C. Bazílio;V. G. Costa;E. H. Haeusler

  • Affiliations:

  • Pontifícia Universidade Católica do Rio de Janeiro -- PUC-Rio;Pontifícia Universidade Católica do Rio de Janeiro -- PUC-Rio;Universidade Federal do Ceará -- UFC;Pólo Universitário de Rio das Ostras, Universidade Federal Fluminense -- PURO -- UFF;Pólo Universitário de Rio das Ostras, Universidade Federal Fluminense -- PURO -- UFF;Pontifícia Universidade Católica do Rio de Janeiro -- PUC-Rio;Pontifícia Universidade Católica do Rio de Janeiro -- PUC-Rio

  • Venue:
  • AOW '07 Proceedings of the Third Australasian Workshop on Advances in Ontologies - Volume 85
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

We present the structure of an ontology for Information Security (IS), applied to the extraction of knowledge from Natural Language texts (IS standards, security policies and security control descriptions). This ontology is composed of the vocabulary for the IS Domain, and a particular kind of ontology description, logical forms to determine the structure of the DL formulas associated with the texts. We also discuss the relationship between the structure of the formulas and the efficiency of the reasoner.