Ontological foundations of modelling security policies for analysis

Bataityte, Karolina, Vassilev, Vassil and Gill, Olivia (2020) Ontological foundations of modelling security policies for analysis. In: 16th International Conference on Artificial Intelligence Applications and Innovations, 5-7 June 2020, Halkidiki, Greece. (Submitted)

[img] Text
aiai2020_paper_85.pdf - Accepted Version
Restricted to Registered users only until 7 June 2020.

Download (609kB) | Request a copy

Abstract / Description

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.

Item Type: Conference or Workshop Item (Paper)
Uncontrolled Keywords: Security Policies, Modelling, Ontologies, Knowledge Representation, Situations and Actions, Frame Problem
Subjects: 000 Computer science, information & general works
000 Computer science, information & general works > 020 Library & information sciences
Department: School of Computing and Digital Media
Depositing User: Vassil Vassilev
Date Deposited: 30 Mar 2020 08:56
Last Modified: 30 Mar 2020 08:56
URI: http://repository.londonmet.ac.uk/id/eprint/5709

Actions (login required)

View Item View Item