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)
|
Text
aiai2020_paper_85.pdf - Accepted Version Download (609kB) | Preview |
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: | 07 Jun 2020 01:58 |
URI: | https://repository.londonmet.ac.uk/id/eprint/5709 |
Downloads
Downloads per month over past year
Downloads each year
Actions (login required)
![]() |
View Item |