Skip to main content

2020 | OriginalPaper | Buchkapitel

Ontological Foundations of Modelling Security Policies for Logical Analytics

verfasst von : Karolina Bataityte, Vassil Vassilev, Olivia Jo Gill

Erschienen in: Artificial Intelligence Applications and Innovations

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat Baader, F., Lutz, C., Miličic, M., Sattler, U., Wolter, F.: Integrating description logics and action formalisms: First results. In: Proceedings of the 20th National Conference on Artificial Intelligence, AAAI 2005, pp. 572–577. AAAI Press (2005) Baader, F., Lutz, C., Miličic, M., Sattler, U., Wolter, F.: Integrating description logics and action formalisms: First results. In: Proceedings of the 20th National Conference on Artificial Intelligence, AAAI 2005, pp. 572–577. AAAI Press (2005)
2.
Zurück zum Zitat Chang, L., Lin, F., Shi, Z.: A dynamic description logic for representation and reasoning about actions. In: KSEM (2007) Chang, L., Lin, F., Shi, Z.: A dynamic description logic for representation and reasoning about actions. In: KSEM (2007)
4.
Zurück zum Zitat Granadillo, G., Ben Mustapha, Y., Hachem, N., Debar, H.: An ontology-driven approach to model siem information and operations using the SWRL formalism. Int. J. Electron. Secur. Digit. Forensics 4, 104–123 (2012) Granadillo, G., Ben Mustapha, Y., Hachem, N., Debar, H.: An ontology-driven approach to model siem information and operations using the SWRL formalism. Int. J. Electron. Secur. Digit. Forensics 4, 104–123 (2012)
5.
Zurück zum Zitat Hitzler, P., Krötzsch, M., Rudolph, S.: Foundations of Semantic Web Technologies. Chapman & Hall/CRC, London (2009) Hitzler, P., Krötzsch, M., Rudolph, S.: Foundations of Semantic Web Technologies. Chapman & Hall/CRC, London (2009)
6.
Zurück zum Zitat Lawan, A., Rakib, A.: The semantic web rule language expressiveness extensions-a survey, March 2019 Lawan, A., Rakib, A.: The semantic web rule language expressiveness extensions-a survey, March 2019
7.
Zurück zum Zitat McCarthy, J., Hayes, P.: Some philisophical problems from the standpoint of artificial intelligence. In: Machine Intelligence, vol. 4, pp. 463–502. Edinburgh University Press, Edinburgh (1969) McCarthy, J., Hayes, P.: Some philisophical problems from the standpoint of artificial intelligence. In: Machine Intelligence, vol. 4, pp. 463–502. Edinburgh University Press, Edinburgh (1969)
8.
Zurück zum Zitat Passin, T.B.: The Explorer’s Guide to the Semantic Web. Manning Publications, Shelter Island (2004) Passin, T.B.: The Explorer’s Guide to the Semantic Web. Manning Publications, Shelter Island (2004)
10.
Zurück zum Zitat Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)MATH Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)MATH
12.
Zurück zum Zitat Szeredi, P., Lukácsy, G., Benkő, T.: The Semantic Web Explained: The Technology and Mathematics Behind Web 3.0. Cambridge University Press, New York (2014) MATH Szeredi, P., Lukácsy, G., Benkő, T.: The Semantic Web Explained: The Technology and Mathematics Behind Web 3.0. Cambridge University Press, New York (2014) MATH
13.
Zurück zum Zitat Tsarkov, D., Horrocks, I.: Efficient reasoning with range and domain constraints. In: Proceedings of the 2004 International Workshop on Description Logics (DL2004) (2004) Tsarkov, D., Horrocks, I.: Efficient reasoning with range and domain constraints. In: Proceedings of the 2004 International Workshop on Description Logics (DL2004) (2004)
14.
Zurück zum Zitat Vassilev, V., Sowinski-Mydlarz, V., Gasiorowski, P., et al.: Intelligence graphs for threat intelligence and security policy validation of cyber systems. In: Bansal, P., Tushir, M., Balas, V., Srivastava, R. (eds.) Proceedings of International Conference on Artificial Intelligence and Applications, ICAIA 2020, Janakpuri, India. Springer (2020, in print) Vassilev, V., Sowinski-Mydlarz, V., Gasiorowski, P., et al.: Intelligence graphs for threat intelligence and security policy validation of cyber systems. In: Bansal, P., Tushir, M., Balas, V., Srivastava, R. (eds.) Proceedings of International Conference on Artificial Intelligence and Applications, ICAIA 2020, Janakpuri, India. Springer (2020, in print)
Metadaten
Titel
Ontological Foundations of Modelling Security Policies for Logical Analytics
verfasst von
Karolina Bataityte
Vassil Vassilev
Olivia Jo Gill
Copyright-Jahr
2020
DOI
https://doi.org/10.1007/978-3-030-49161-1_31

Premium Partner