Ontological Foundations of Modelling Security Policies for Logical Analytics - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Ontological Foundations of Modelling Security Policies for Logical Analytics

Karolina Bataityte
  • Fonction : Auteur
  • PersonId : 1242588
Vassil Vassilev
  • Fonction : Auteur
  • PersonId : 1242589
Olivia Jo Gill
  • Fonction : Auteur
  • PersonId : 1242590

Résumé

Modelling of knowledge and actions in AI has advanced over the years but it is still a challenging topic due to the infamous frame problem, the inadequate formalization and the lack of automation. Some problems in cyber security such as logical vulnerability, risk assessment, policy validation etc. still require formal approach. In this paper we present the foundations of a new formal framework to address these challenges. Our approach is based on three-level formalisation: ontological, logical and analytical levels. Here we are presenting the first two levels which allow to model the security policies and provide a practical solution to the frame problem by efficient utilization of parameters as side effects. Key concepts are the situations, actions, events and rules. Our framework has potential use for analysis of a wide range of transactional systems within the financial, commercial and business domains and further work will include analytical level where we can perform vulnerability analysis of the model.
Fichier principal
Vignette du fichier
497040_1_En_31_Chapter.pdf (599.19 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04050596 , version 1 (29-03-2023)

Licence

Paternité

Identifiants

Citer

Karolina Bataityte, Vassil Vassilev, Olivia Jo Gill. Ontological Foundations of Modelling Security Policies for Logical Analytics. 16th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI), Jun 2020, Neos Marmaras, Greece. pp.368-380, ⟨10.1007/978-3-030-49161-1_31⟩. ⟨hal-04050596⟩
11 Consultations
3 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More