Formalizing Agents' Beliefs for Cyber-Security Defense Strategy Planning

Karsten Martiny; Alexander Motzek; Ralf Möller

doi:10.1007/978-3-319-19713-5_2

Formalizing Agents' Beliefs for Cyber-Security Defense Strategy Planning

Karsten Martiny, Alexander Motzek, Ralf Möller

Institute of Information Systems

4 Citations (Scopus)

Abstract

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 language	English
Title of host publication	International Joint Conference
Editors	Álvaro Herrero, Bruno Baruque, Javier Sedano, Héctor Quintián, Emilio Corchado
Number of pages	11
Volume	369
Place of Publication	Cham
Publisher	Springer International Publishing
Publication date	27.05.2015
Pages	15-25
ISBN (Print)	978-3-319-19712-8
ISBN (Electronic)	978-3-319-19713-5
DOIs	https://doi.org/10.1007/978-3-319-19713-5_2
Publication status	Published - 27.05.2015
Event	8th 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.2015 → 17.06.2015 Conference number: 154119

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 3 Good Health and Well-being
SDG 9 Industry, Innovation, and Infrastructure

DFG Research Classification Scheme

409-06 Information Systems, Process and Knowledge Management

Access to Document

10.1007/978-3-319-19713-5_2

Cite this

Martiny, K., Motzek, A., & Möller, R. (2015). Formalizing Agents' Beliefs for Cyber-Security Defense Strategy Planning. In Á. Herrero, B. Baruque, J. Sedano, H. Quintián, & E. Corchado (Eds.), International Joint Conference (Vol. 369, pp. 15-25). (Advances in Intelligent Systems and Computing; Vol. 369). Springer International Publishing. https://doi.org/10.1007/978-3-319-19713-5_2

Martiny, Karsten ; Motzek, Alexander ; Möller, Ralf. / Formalizing Agents' Beliefs for Cyber-Security Defense Strategy Planning. International Joint Conference. editor / Álvaro Herrero ; Bruno Baruque ; Javier Sedano ; Héctor Quintián ; Emilio Corchado. Vol. 369 Cham : Springer International Publishing, 2015. pp. 15-25 (Advances in Intelligent Systems and Computing).

@inproceedings{9d7fb11212cf45ceb51981eaa4a58dfa,

title = "Formalizing Agents' Beliefs for Cyber-Security Defense Strategy Planning",

abstract = "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.",

author = "Karsten Martiny and Alexander Motzek and Ralf M{\"o}ller",

year = "2015",

month = may,

day = "27",

doi = "10.1007/978-3-319-19713-5\_2",

language = "English",

isbn = "978-3-319-19712-8",

volume = "369",

series = "Advances in Intelligent Systems and Computing",

publisher = "Springer International Publishing",

pages = "15--25",

editor = "{\'A}lvaro Herrero and Bruno Baruque and Javier Sedano and H{\'e}ctor Quinti{\'a}n and Emilio Corchado",

booktitle = "International Joint Conference",

note = "8th International Joint Conferences on Computational Intelligence in Security for Information Systems, CISIS 2015 and 6th European Transnational Education, ICEUTE 2015<br/> ; Conference date: 15-06-2015 Through 17-06-2015",

}

Martiny, K, Motzek, A & Möller, R 2015, Formalizing Agents' Beliefs for Cyber-Security Defense Strategy Planning. in Á Herrero, B Baruque, J Sedano, H Quintián & E Corchado (eds), International Joint Conference. vol. 369, Advances in Intelligent Systems and Computing, vol. 369, Springer International Publishing, Cham, pp. 15-25, 8th International Joint Conferences on Computational Intelligence in Security for Information Systems, CISIS 2015 and 6th European Transnational Education, ICEUTE 2015
, Burgos, Spain, 15.06.15. https://doi.org/10.1007/978-3-319-19713-5_2

Formalizing Agents' Beliefs for Cyber-Security Defense Strategy Planning. / Martiny, Karsten; Motzek, Alexander; Möller, Ralf.
International Joint Conference. ed. / Álvaro Herrero; Bruno Baruque; Javier Sedano; Héctor Quintián; Emilio Corchado. Vol. 369 Cham: Springer International Publishing, 2015. p. 15-25 (Advances in Intelligent Systems and Computing; Vol. 369).

Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

TY - GEN

T1 - Formalizing Agents' Beliefs for Cyber-Security Defense Strategy Planning

AU - Martiny, Karsten

AU - Motzek, Alexander

AU - Möller, Ralf

N1 - Conference code: 154119

PY - 2015/5/27

Y1 - 2015/5/27

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/84946736436

U2 - 10.1007/978-3-319-19713-5_2

DO - 10.1007/978-3-319-19713-5_2

M3 - Conference contribution

SN - 978-3-319-19712-8

VL - 369

T3 - Advances in Intelligent Systems and Computing

SP - 15

EP - 25

BT - International Joint Conference

A2 - Herrero, Álvaro

A2 - Baruque, Bruno

A2 - Sedano, Javier

A2 - Quintián, Héctor

A2 - Corchado, Emilio

PB - Springer International Publishing

CY - Cham

T2 - 8th International Joint Conferences on Computational Intelligence in Security for Information Systems, CISIS 2015 and 6th European Transnational Education, ICEUTE 2015<br/>

Y2 - 15 June 2015 through 17 June 2015

ER -

Formalizing Agents' Beliefs for Cyber-Security Defense Strategy Planning

Abstract

UN SDGs

DFG Research Classification Scheme

Access to Document

Other files and links

Fingerprint

Cite this