Formalizing Agents' Beliefs for Cyber-Security Defense Strategy Planning

Karsten Martiny, Alexander Motzek, Ralf Möller


Critical information infrastructures have been exposed to an increasing number of cyber attacks in recent years. Current protection approaches consider the reaction to a threat from an operational perspective, but leave out human aspects of an attacker. The problem is, no matter how good a defense planning from an operational perspective is, it must be considered that any action taken might influence an attacker's belief in reaching a goal. For solving this problem this paper introduces a formal model of belief states for defender and intruder agents in a cyber-security setting. We do not only consider an attacker as a deterministic threat, but consider her as a human being and provide a formal method for reasoning about her beliefs given our reactions to her actions, providing more powerful means to assess the merits of countermeasures when planning cyber-security defense strategies.
Original languageEnglish
Title of host publicationInternational Joint Conference
EditorsÁlvaro Herrero, Bruno Baruque, Javier Sedano, Héctor Quintián, Emilio Corchado
Number of pages11
Place of PublicationCham
PublisherSpringer International Publishing
Publication date27.05.2015
ISBN (Print)978-3-319-19712-8
ISBN (Electronic)978-3-319-19713-5
Publication statusPublished - 27.05.2015
Event8th International Joint Conferences on Computational Intelligence in Security for Information Systems, CISIS 2015 and 6th European Transnational Education, ICEUTE 2015
- Burgos, Spain
Duration: 15.06.201517.06.2015
Conference number: 154119

DFG Research Classification Scheme

  • 409-06 Information Systems, Process and Knowledge Management


Dive into the research topics of 'Formalizing Agents' Beliefs for Cyber-Security Defense Strategy Planning'. Together they form a unique fingerprint.

Cite this